SLayerGen generates crystals invariant to any space or layer group via autoregressive lattice and Wyckoff sampling plus equivariant diffusion, achieving gains over bulk models on diperiodic materials after correcting a prior loss inconsistency for hexagonal groups.
super hub
Pattern Recognition 127 (2022), 108611
384 Pith papers cite this work, alongside 1 external citations. Polarity classification is still indexing.
384
Pith papers citing it
1
external citations · Crossref
hub tools
citation-role summary
background 4
citation-polarity summary
authors
co-cited works
fields
cs.LG 28 cs.CV 27 cs.HC 18 cs.CE 14 cond-mat.mtrl-sci 13 cs.AI 13 cs.CR 12 hep-ph 12 quant-ph 12 math.NA 11roles
background 4polarities
background 4representative citing papers
Every proper minor-closed graph class admits an optimal (1+o(1)) log n bit adjacency labeling scheme.
A directed weighted two-graph model separates feasibility from movement in solution discovery and yields a detailed complexity classification for path and shortest-path discovery.
The method reformulates ALE mesh motion as independent multi-patch spline parameterizations per time step, using barrier functions, tangential-slip reparameterization, and constant-preserving quasi-interpolation to enable large-rotation FSI simulations.
Superconductivity in high-pressure MnB4 is induced by altermagnetic spin fluctuations, yielding extended-s pairing symmetry.
A new qubit-efficient HUBO encoding for graph partitioning problems like minimum coloring uses logarithmic bits and a lexicographic penalty to cut resources while providing provable optimality conditions.
A flow-adaptive ergodic coverage formulation using MMD that preserves guarantees over evolving domains and supports open-loop planning for robots in flows.
IfcLLM combines relational and graph representations of IFC models with iterative LLM reasoning to deliver 93.3-100% first-attempt accuracy on natural language queries across three test models.
A geometry-aligned bi-fidelity surrogate maps low- and high-fidelity wildfire solutions to a common domain for improved reduced-basis reconstruction, lower error near fronts, and practical uncertainty quantification.
A non-trivial UV fixed point for the scalar matter form factor exists in asymptotically safe quantum gravity, with a discrete spectrum of critical exponents and infrared locality restored.
MulTaBench is a new collection of 40 image-tabular and text-tabular datasets designed to test target-aware representation tuning in multimodal tabular models.
Statistical model checking on the K+S model shows macro-financial and structural parameters produce stronger transient effects on unemployment and GDP growth than heuristic-rule parameters under fixed precision policies.
A differentiable physics engine inside a neural network discovers non-Hertzian asperity shapes that produce programmable nonlinear friction-area relations, validated by BEM simulations.
Users experience fast-food intimacy with Soul's AI boyfriend that conflicts with gradual cultural expectations, introduces technical uncertainty, and shifts emotional labor onto women.
A dual-polarity representation in Ising/QUBO models enables computation of short SAT implicants by treating some variables as unassigned, with parameter regimes guaranteeing minimality.
ProtoSSL discovers generalizable prototypes from unlabeled time-series via self-supervision and assigns them to new tasks for interpretable predictions, outperforming supervised baselines in low-data regimes on ECG datasets.
Electrochemical reduction of hydrogen-capped polyynes yields stable amorphous sp-sp2 carbon nanoparticles with tunable diameters, >60% retained sp fraction, and ambient stability exceeding six months.
A physics-aware meta-learning framework retrieves coastal biogeochemical parameters from hyperspectral Rrs by pretraining a base model on synthetic data from a bio-optical forward model and fine-tuning on regional in situ samples, outperforming benchmarks with good temporal agreement.
Establishes the Riesz property for spectral projections of the multi-dimensional harmonic oscillator, Landau Hamiltonian, and Laplace-Beltrami operator on a sphere perturbed by complex L^r potentials when d/2 < r < infinity.
Researchers derived 19 design guidelines for AI-supported adult learning from thematic analysis of real deployments and demonstrated their use via heuristic evaluation and an ideation tool.
A mixture model with adaptive KDE and per-image cross-validation raises estimated human fixation consistency by 5-15% median log-likelihood and up to 2 AUC points over fixed-bandwidth Gaussian baselines.
Zorya now analyzes real-world gc-compiled Go binaries and detects 7 of 11 evaluated vulnerabilities from projects like Kubernetes and Go-Ethereum, including a silent integer overflow missed by other tools without a manual oracle.
pKANrtm uses a physics-aware multi-fidelity KAN to emulate high-fidelity radiative transfer coefficients for atmospheric correction with superior accuracy and large speedups over direct libRadtran runs.
A new Java bytecode optimizer fuses map and filter into mapMulti to reduce stream overhead, sidestepping Streamliner's restrictions and delivering superior results in two of nine benchmarks while passing all 31,799 Kafka tests.
citing papers explorer
-
SLayerGen: a Crystal Generative Model for all Space and Layer Groups
SLayerGen generates crystals invariant to any space or layer group via autoregressive lattice and Wyckoff sampling plus equivariant diffusion, achieving gains over bulk models on diperiodic materials after correcting a prior loss inconsistency for hexagonal groups.
-
Adjacency labelling for proper minor-closed graph classes
Every proper minor-closed graph class admits an optimal (1+o(1)) log n bit adjacency labeling scheme.
-
Separating Feasibility and Movement in Solution Discovery: The Case of Path Discovery
A directed weighted two-graph model separates feasibility from movement in solution discovery and yields a detailed complexity classification for path and shortest-path discovery.
-
Parameterization-driven arbitrary Lagrangian-Eulerian method for large-deformation isogeometric fluid-structure interaction
The method reformulates ALE mesh motion as independent multi-patch spline parameterizations per time step, using barrier functions, tangential-slip reparameterization, and constant-preserving quasi-interpolation to enable large-rotation FSI simulations.
-
Superconductivity induced by altermagnetic spin fluctuations in high-pressure MnB$_4$
Superconductivity in high-pressure MnB4 is induced by altermagnetic spin fluctuations, yielding extended-s pairing symmetry.
-
Qubit-efficient and gate-efficient encodings of graph partitioning problems for quantum optimization
A new qubit-efficient HUBO encoding for graph partitioning problems like minimum coloring uses logarithmic bits and a lexicographic penalty to cut resources while providing provable optimality conditions.
-
Asymptotically Optimal Ergodic Coverage on Generalized Motion Fields
A flow-adaptive ergodic coverage formulation using MMD that preserves guarantees over evolving domains and supports open-loop planning for robots in flows.
-
A Hybrid Framework for Natural Language Querying of IFC Models with Relational and Graph Representations
IfcLLM combines relational and graph representations of IFC models with iterative LLM reasoning to deliver 93.3-100% first-attempt accuracy on natural language queries across three test models.
-
A geometry-aligned multi-fidelity framework for uncertainty quantification of wildfire spread
A geometry-aligned bi-fidelity surrogate maps low- and high-fidelity wildfire solutions to a common domain for improved reduced-basis reconstruction, lower error near fronts, and practical uncertainty quantification.
-
Scaling Solutions of Matter Form Factors in Asymptotically Safe Quantum Gravity
A non-trivial UV fixed point for the scalar matter form factor exists in asymptotically safe quantum gravity, with a discrete spectrum of critical exponents and infrared locality restored.
-
MulTaBench: Benchmarking Multimodal Tabular Learning with Text and Image
MulTaBench is a new collection of 40 image-tabular and text-tabular datasets designed to test target-aware representation tuning in multimodal tabular models.
-
Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM
Statistical model checking on the K+S model shows macro-financial and structural parameters produce stronger transient effects on unemployment and GDP growth than heuristic-rule parameters under fixed precision policies.
-
Inverse Design of Metainterfaces for Static Friction Control: Beyond the Hertzian Limit
A differentiable physics engine inside a neural network discovers non-Hertzian asperity shapes that produce programmable nonlinear friction-area relations, validated by BEM simulations.
-
Fast-Food Intimacy: How Chinese Women Navigate Soul's AI Boyfriend
Users experience fast-food intimacy with Soul's AI boyfriend that conflicts with gradual cultural expectations, introduces technical uncertainty, and shifts emotional labor onto women.
-
Computing Short SAT Implicants via Ising/QUBO Encodings
A dual-polarity representation in Ising/QUBO models enables computation of short SAT implicants by treating some variables as unassigned, with parameter regimes guaranteeing minimality.
-
ProtoSSL: Interpretable Prototype Learning from Unlabeled Time-Series Data
ProtoSSL discovers generalizable prototypes from unlabeled time-series via self-supervision and assigns them to new tasks for interpretable predictions, outperforming supervised baselines in low-data regimes on ECG datasets.
-
Charge-Transfer Induced Reactivity in sp Carbon Atomic Wires: Towards 0-D sp-sp2 Nanostructures
Electrochemical reduction of hydrogen-capped polyynes yields stable amorphous sp-sp2 carbon nanoparticles with tunable diameters, >60% retained sp fraction, and ambient stability exceeding six months.
-
Region-adaptable retrieval of coastal biogeochemical parameters from near-surface hyperspectral remote sensing reflectance using physics-aware meta-learning
A physics-aware meta-learning framework retrieves coastal biogeochemical parameters from hyperspectral Rrs by pretraining a base model on synthetic data from a bio-optical forward model and fine-tuning on regional in situ samples, outperforming benchmarks with good temporal agreement.
-
Riesz property in the case of multiple eigenvalues
Establishes the Riesz property for spectral projections of the multi-dimensional harmonic oscillator, Landau Hamiltonian, and Laplace-Beltrami operator on a sphere perturbed by complex L^r potentials when d/2 < r < infinity.
-
Guidelines for Designing AI Technologies to Support Adult Learning
Researchers derived 19 design guidelines for AI-supported adult learning from thematic analysis of real deployments and demonstrated their use via heuristic evaluation and an ideation tool.
-
Raising the Ceiling: Better Empirical Fixation Densities for Saliency Benchmarking
A mixture model with adaptive KDE and per-image cross-validation raises estimated human fixation consistency by 5-15% median log-likelihood and up to 2 AUC points over fixed-bandwidth Gaussian baselines.
-
From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
Zorya now analyzes real-world gc-compiled Go binaries and detects 7 of 11 evaluated vulnerabilities from projects like Kubernetes and Go-Ethereum, including a silent integer overflow missed by other tools without a manual oracle.
-
Multi-Fidelity Emulation of Atmospheric Correction Coefficients with Physics-Guided Kolmogorov-Arnold Networks
pKANrtm uses a physics-aware multi-fidelity KAN to emulate high-fidelity radiative transfer coefficients for atmospheric correction with superior accuracy and large speedups over direct libRadtran runs.
-
Compile-Time Java Stream Fusion via mapMulti
A new Java bytecode optimizer fuses map and filter into mapMulti to reduce stream overhead, sidestepping Streamliner's restrictions and delivering superior results in two of nine benchmarks while passing all 31,799 Kafka tests.
-
Rethinking the Need for Source Models: Source-Free Domain Adaptation from Scratch Guided by a Vision-Language Model
The paper introduces the VODA setting for domain adaptation from scratch using vision-language models and presents TS-DRD, which achieves competitive performance on standard benchmarks without source models.
-
Dynamic Mechanical Response of Spinodal Architectures Across Length and Time Scales
Macroscale spinodal structures exhibit inertia-driven tenfold strength increase at high strain rates unlike microscale counterparts governed by constituent material sensitivity, with regime maps showing length-scale dependence analogous to fluids.
-
BadmintonGRF: A Multimodal Dataset and Benchmark for Markerless Ground Reaction Force Estimation in Badminton
BadmintonGRF is a new public multimodal dataset and benchmark that pairs multi-view video with instrumented GRF for markerless load estimation in badminton.
-
Hindered transport of spherical particles in cylindrical pores: The role of structural heterogeneity in rejection-permeability trade-offs
Coupled heterogeneity in pore and particle size distributions broadens effective Peclet number variability and systematically improves permeability at fixed rejection in membrane transport.
-
EO-Gym: A Multimodal, Interactive Environment for Earth Observation Agents
EO-Gym supplies an executable multimodal environment and 9k-trajectory benchmark that turns Earth Observation into a tool-using, multi-step reasoning task, revealing that current VLMs struggle on temporal and cross-sensor workflows while fine-tuning lifts Pass@3 from 0.49 to 0.74.
-
EnCoDe: Energy Estimation of Source Code At Design-Time
EnCoDe enables design-time prediction of block-level energy consumption in Python code via static features and ML models trained on a dataset from 18,000 programs, achieving R²=0.75 and 80.6% hotspot classification accuracy.
-
Zero-Knowledge Model Checking
Zero-knowledge protocols for model checking that certify linear temporal logic properties of hidden systems using ranking functions, polynomial commitments, and sigma protocols.
-
OmniRobotHome: A Multi-Camera Platform for Real-Time Multiadic Human-Robot Interaction
A 48-camera residential platform delivers real-time occlusion-robust 3D perception and coordinated actuation for multi-human multi-robot interaction in a shared home workspace.
-
Linguistically Informed Multimodal Fusion for Vietnamese Scene-Text Image Captioning: Dataset, Graph Framework, and Phonological Attention
Introduces ViTextCaps dataset and PhonoSTFG phonological graph fusion framework for Vietnamese scene-text image captioning, showing cross-modal graph edges harm performance.
-
Math Education Digital Shadows for facilitating learning with LLMs: Math performance, anxiety and confidence in simulated students and AIs
MEDS is a dataset of 28,000 LLM personas performing high-school math tasks alongside psychometric tests and cognitive networks that capture math anxiety, self-efficacy, and confidence to support safer AI tutors.
-
Data-driven discovery of polynomial ODEs with provably bounded solutions
SILAS jointly optimizes polynomial ODE vector fields and polynomial Lyapunov functions from data to produce models with provably bounded trajectories via compact absorbing sets.
-
Compartment Modelling of Multiphase Reactors using Unsupervised Clustering
CLARA generates accurate compartment models from CFD simulations of multiphase reactors using clustering to enable faster control and design.
-
Discovery of Sparse Invariant Subgrid-Scale Closures via Dissipation-Controlled Training for Large Eddy Simulation on Anisotropic Grids
Sparse regression yields explicit invariant polynomial SGS closures for LES on anisotropic grids that achieve neural-network accuracy with simpler forms and lower computational cost.
-
EOS-Bench: A Comprehensive Benchmark for Earth Observation Satellite Scheduling
EOS-Bench creates thousands of satellite scheduling test cases spanning small to large scales and evaluates multiple solver types across five performance metrics.
-
A Motif-Based Framework for Decomposing Risk Spillovers
A motif-based decomposition of quantile risk networks shows that local triadic topology and orbit-position diversity carry portfolio-relevant information missed by aggregate connectedness, with motif-based portfolios outperforming benchmarks and positional diversity marking tail transmitters.
-
A dynamic $(1+\varepsilon)$-spanner for disk intersection graphs
A dynamic (1+ε)-spanner of size O(n ε^{-2} log Ψ log(ε^{-1})) with O((Ψ/ε)^2 log^4 n log^2 Ψ log^2(ε^{-1})) expected amortized update time for disk intersection graphs with bounded diameters.
-
Primitive Recursion without Composition: Dynamical Characterizations, from Neural Networks to Polynomial ODEs
Primitive recursion admits equivalent characterizations via bounded ReLU iteration, robust polynomial ODEs, and step-size-parameterized polynomial maps, with composition emerging from the dynamics.
-
Green-Red Watermarking for Recommender Systems
GREW uses a secret-key-driven green-red item partition and three ranking-integrated modules to embed verifiable watermarks in recommender systems that resist extraction attacks without data injection.
-
The Constructive $\mu$-calculus: Game Semantics and Non-Wellfounded Proof Systems
Game semantics for constructive μ-calculus shown equivalent to Kripke semantics, supporting sound and complete non-wellfounded proofs.
-
Construction Methods for Space-Filling Heterogeneous Topological Interlocking Assemblies
Deforming wallpaper group domains and using semiregular tessellations generates heterogeneous topological interlocking assemblies that fill space between planes, with a correspondence to generalized Truchet tiles and decorated lozenge tilings.
-
Cluster Vertex Deletion on Chordal Graphs
A polynomial-time algorithm exists for cluster vertex deletion on chordal graphs via dynamic programming on clique trees reduced to submodular minimization.
-
On Threshold Compatibility Graphs
(k,t)-threshold-PCGs unify prior PCG generalizations, represent every graph when k=n, but form an asymptotically vanishing class for any fixed k and t, with strict separations from k-interval-PCGs.
-
Demonstrating a Future for MLIR-native DSL Compilers on a NumPy-like Example
An MLIR-native NumPy-like DSL with a new dialect-agnostic type checker and parallel-first lowering to a dataflow dialect, shown on weather modeling and CFD workloads in Fortran.
-
An Efficient Spatial Branch-and-Bound Algorithm for Global Optimization of Gaussian Process Posterior Mean Functions
PALM-Mean combines sign-aware piecewise-linear relaxations of locally important kernel terms with closed-form analytic bounds on the rest inside a reduced-space branch-and-bound framework, yielding valid lower bounds and ε-global convergence for GP posterior mean optimization.
-
Fine-Tuning Small Reasoning Models for Quantum Field Theory
Small 7B reasoning models were fine-tuned on synthetic and curated QFT problems using RL and SFT, yielding performance gains, error analysis, and public release of data and traces.
-
DeepRitzSplit Neural Operator for Phase-Field Models via Energy Splitting
A DeepRitzSplit neural operator trained on energy-split variational forms enforces dissipation in phase-field models and outperforms data-driven training in generalization while running faster than Fourier spectral methods on Allen-Cahn and dendritic growth cases.