papers checked against Recognition
Pith ran a Recognition coverage check on each paper here and surfaced at least one Lean theorem in the public Recognition library that looks relevant to the paper's claims. The link is Pith's machine assessment, not a citation by the paper. Click into the paper for the full Pith review and the suggested theorem matches.
60 of 33987 papers
-
Time-Varying Energy Landscapes and Temperature paths: Dynamic Transition Rates in locally Ultrametric Complex Systems
math-ph · 2024-11-05 · 3 theorem links
Generalizes the master equation to a time-dependent operator on an ultrametric space via p-adic metabasin parametrization and applies it to glass relaxation under cooling and protein folding across melting temperature.
-
Martin boundary of a degenerate Reflected Brownian Motion in a wedge
math.PR · 2024-11-04 · 3 theorem links
Explicit Laplace transforms for Green's functions of degenerate reflected BM in a wedge via iterated functional equation, plus Martin boundary and harmonic functions.
-
Wasserstein Spatial Depth
math.ST · 2024-11-16 · 3 theorem links
Defines Wasserstein spatial depth for distributions, proves invariance and robustness properties, establishes consistency and asymptotic normality of a plug-in estimator, and supplies a two-sample test.
-
The Syncytial Mesh Model: A Mesoscale Control-Field Framework for Scale-Dependent Coherence in the Brain
q-bio.NC · 2024-11-29 · 3 theorem links
The Syncytial Mesh Model proposes that astrocytic syncytial organization supplies a continuous mesoscale control field that shapes scale-dependent neuronal coherence and traveling-wave patterns beyond direct synaptic connectivity.
-
Pin classes II: Small pin classes
math.CO · 2024-12-04 · 3 theorem links
Pin classes exhibit a phase transition at μ ≈ 3.28277 with countably many below the threshold and uncountably many at it; all growth rates below μ are classified via periodic pin permutations.
-
SVGFusion: A VAE-Diffusion Transformer for Vector Graphic Generation
cs.CV · 2024-12-11 · 3 theorem links
SVGFusion introduces a Vector-Pixel Fusion VAE and Vector Space Diffusion Transformer to generate high-quality editable SVGs from text, claiming SOTA results on a new 240k human-designed SVG dataset.
-
Infinite variety of thermodynamic speed limits with general activities
cond-mat.stat-mech · 2024-12-30 · 3 theorem links
A unified framework based on generalized means derives an infinite family of thermodynamic speed limits for Markov jump processes and chemical reaction networks, each giving a lower bound on entropy production.
-
Criticality, splitting theorems under spectral Ricci bounds and the topology of stable minimal hypersurfaces
math.DG · 2024-12-17 · 3 theorem links
Proves new criticality and splitting theorems for operators with spectral Ricci bounds, then classifies 1/3-stable minimal hypersurfaces in R^4 as one-ended or catenoids and δ-stable ones with δ>1/3 as hyperplanes.
-
BPS Dendroscopy on Local $\mathbb{P}^1\times \mathbb{P}^1$
hep-th · 2024-12-10 · 3 theorem links
Construction of the scattering diagram for BPS indices on local P1 x P1 and sketch of the Split Attractor Flow Tree Conjecture for restricted central charge phase.
-
Magnetic moments in the Poynting theorem, Maxwell equations, Dirac equation, and QED
physics.class-ph · 2025-01-02 · 3 theorem links
Extends Poynting theorem and Maxwell equations for magnetic dipoles and verifies consistency with QED using field-only expressions.
-
The Geometry of Statistical Data and Information: A Large Deviation Perspective
cs.IT · 2025-01-02 · 3 theorem links
Large deviation entropy defines the geometry of empirical data manifolds, breaking spherical geometry for pairwise statistics, and equates information projections from information geometry with those in Kolmogorov probability theory under i.i.d. and Markov assumptions.
-
Temporal-Aware Spiking Transformer Hashing Based on 3D-DWT
cs.CV · 2025-01-12 · 3 theorem links
Spikinghash combines 3D-DWT Spiking WaveMixer, Spiking Self-Attention, and a dynamic soft similarity loss to produce energy-efficient hash codes for DVS data retrieval.
-
BCM-thresholds of non-principal ideals
math.AC · 2025-01-28 · 3 theorem links
Introduces BCM-thresholds for non-principal ideals that coincide with classical F-thresholds in weakly F-regular rings and with BCM-jumping numbers in complete local regular rings.
-
Neural equilibria for long-term prediction of nonlinear conservation laws
cs.LG · 2025-01-12 · 3 theorem links
NeurDE learns the equilibrium closure within a kinetic solver to outperform larger neural models on long-term predictions of nonlinear conservation laws including shocks.
-
Simulating quantum circuits with arbitrary local noise using Pauli Propagation
quant-ph · 2025-01-22 · 3 theorem links
Pauli propagation with tailored truncation enables efficient classical simulation of expectation values for most quantum circuits under any local noise, with high probability and logarithmic effective depth.
-
Family Unification in $SO(16)$ Grand Unification
hep-ph · 2025-02-10 · 3 theorem links
A 6D SO(16) GUT model unifies SM gauge groups with SU(3) family symmetry by placing three chiral generations into one spinor representation, canceling anomalies via vectorlike 6D fermions and fixed-point localized states while noting asymptotic freedom of the SO(16) coupling.
-
Markets with Heterogeneous Agents: Dynamics and Survival of Bayesian vs. No-Regret Learners
cs.GT · 2025-02-12 · 3 theorem links
Bayesian learners can drive out no-regret learners despite logarithmic regret in stochastic markets, but no-regret is more robust; hybrids are proposed to combine strengths.
-
Interactive Inference: A Neuromorphic Theory of Human-Computer Interaction
cs.HC · 2025-02-09 · 3 theorem links
Interactive Inference models user behavior as Bayesian inference on goal/progress distributions, expresses Hick's, Fitts' and Power laws, and reports initial empirical support from a car-following task showing logarithmic processing capacity in SNR.
-
Maximum Welfare Allocations under Quantile Valuations
cs.GT · 2025-02-25 · 3 theorem links
A new quantile valuation model for indivisible goods is defined and used to derive complexity classifications plus approximation and exact algorithms for utilitarian and egalitarian welfare maximization under balanced vs. unbalanced constraints.
-
Static task mapping for heterogeneous systems based on series-parallel decompositions
cs.DC · 2025-02-27 · 3 theorem links
A new series-parallel decomposition algorithm for general DAGs enables task mapping in heterogeneous systems that improves makespan over HEFT variants while running orders of magnitude faster than genetic algorithms or ILPs.
-
Measure of Morality: A Mathematical Theory of Egalitarian Ethics
econ.GN · 2025-02-25 · 3 theorem links
Develops representation theorems that axiomatize the Gini coefficient and a generalized Atkinson index inside a welfare-economics model of egalitarian ethics.
-
Deep Computerized Adaptive Testing
stat.ME · 2025-02-26 · 3 theorem links
A multivariate Bayesian IRT CAT framework accelerated by direct sampling and optimized with double deep Q-learning for non-myopic item selection.
-
On Statistical Estimation of Edge-Reinforced Random Walks
stat.ML · 2025-03-08 · 3 theorem links
A GMM estimator is introduced for initial edge weights in ERRWs with sample complexity analysis via RWRE magic formula and hyperbolic Gaussian fluctuation bounds.
-
Beyond the Edge of Function: Unraveling the Patterns of Type Recovery in Binary Code
cs.CR · 2025-03-10 · 3 theorem links
ByteTR recovers variable types in binary code more effectively than prior methods by decoupling unbalanced type sets, mitigating compiler optimization effects via static analysis, and modeling inter-procedural data flows with a gated GNN.
-
Teaching Metric Distance to Discrete Autoregressive Language Models
cs.LG · 2025-03-04 · 3 theorem links
DIST2Loss replaces one-hot targets with reward-weighted distributions from predefined token distances, interpreted as closed-form entropy-regularized policy optimization, and improves performance across visual grounding, robotics, alignment, and image generation.
-
Modular Photobioreactor Facade Systems for Sustainable Architecture -- A case study
cs.CE · 2025-03-09 · 3 theorem links
A modular algae-based photobioreactor facade is proposed as user-assemblable 'neutralization bricks' with camera-based monitoring to mitigate building GHG emissions.
-
A non-degeneracy theorem for interacting fermions in one dimension
math.SP · 2025-03-24 · 3 theorem links
Ground states of 1D interacting fermions are non-degenerate and non-vanishing on positive-measure sets for local boundary conditions, with parity-dependent results for periodic cases.
-
Global Least Common Ancestor (LCA) Networks
math.CO · 2025-03-20 · 3 theorem links
Global lca-DAGs are characterized via join semi-lattices and forbidden topological minors, with a polynomial-time recognition algorithm.
-
Pressure-Tunable Generalized Wigner Crystal and Fractional Chern Insulator in twisted MoTe$_2$
cond-mat.mes-hall · 2025-04-15 · 3 theorem links
Pressure tunes band flatness and geometry in tMoTe2 to control FCI and GWC phases and their topological transitions at fractional fillings.
-
How does the supercritical GMC converge?
math.PR · 2025-04-09 · 3 theorem links
Characterizes the local shape of ⋆-scale invariant fields near peaks to refine the freezing phenomenon in supercritical GMC.
-
Resummation of Universal Tails in Gravitational Waveforms
hep-th · 2025-04-10 · 3 theorem links
A universal anomalous dimension for multipole moments in GR is derived via two EFT methods and applied to resum short-distance logarithmic tails in binary gravitational waveforms.
-
Localized Fock Space Cages in Kinetically Constrained Models
quant-ph · 2025-04-29 · 3 theorem links
Fock space cages from destructive interference in kinetically constrained models yield localized many-body eigenstates and non-ergodic dynamics by treating Fock space as a graph of bitstring states.
-
SCAN: Structured Capability Assessment and Navigation for LLMs
cs.CL · 2025-05-10 · 3 theorem links
SCAN is a framework for fine-grained LLM capability assessment via automatic taxonomy construction from queries, query synthesis for coverage, visualization tools, and a PC2-enhanced LLM-as-a-judge method, applied to 21 models showing intra-family variations.
-
Estimation and Inference in Boundary Discontinuity Designs: Location-Based Methods
econ.EM · 2025-05-08 · 3 theorem links
Develops pointwise and uniform estimation and inference for the Boundary Average Treatment Effect Curve (BATEC) and aggregated parameters WBATE and LBATE using bivariate location scores in boundary discontinuity designs.
-
Diffusion-based Evolutionary Optimization for 3D Multi-Objective Molecular Generation
cs.NE · 2025-05-16 · 3 theorem links
DEMO integrates evolutionary-guided diffusion operators and structure-aware selection within a tri-population architecture to solve 3D constrained multi-objective molecular optimization problems, outperforming baselines across multiple tasks.
-
Mechanistic Interpretability for AI Safety -- A Review
cs.AI · 2024-04-22 · 3 theorem links
A survey of mechanistic interpretability concepts, methods, benefits for AI safety, risks, and scalability challenges in understanding neural network computations.
-
Modeling Nonstationary Extremal Dependence via Deep Spatial Deformations
stat.ME · 2025-05-18 · 3 theorem links
Deep spatial deformation models are introduced to capture nonstationary extremal dependence by warping to a stationary latent space, with efficient r-Pareto inference shown on high-dimensional simulations and UK precipitation data.
-
Security of deterministic key distribution with higher-dimensional systems
quant-ph · 2025-05-22 · 3 theorem links
Higher-dimensional two-way QKD protocols using mutually unbiased bases and Heisenberg-Weyl operators yield secret keys for stronger individual attacks and improved robustness to collective eavesdropping via entropic uncertainty relations.
-
Superconductivity in kagome metals due to soft loop-current fluctuations
cond-mat.supr-con · 2025-07-22 · 3 theorem links
Soft loop-current fluctuations involving vanadium and antimony orbitals in kagome metals mediate chiral d+id and disorder-robust s± pairing channels, with a pressure-driven Lifshitz transition selecting between them.
-
A Wachspress-based transfinite formulation for exactly enforcing Dirichlet boundary conditions on convex polygonal domains in physics-informed neural networks
math.NA · 2026-01-05 · 3 theorem links
Wachspress coordinates enable a transfinite interpolant that exactly enforces Dirichlet boundary conditions in PINNs on convex polygons by providing a smooth lift of boundary data into the domain interior.
-
Learning to Foresee: Unveiling the Unlocking Efficiency of On-Policy Distillation
cs.CL · 2026-05-12 · 3 theorem links
On-policy distillation gains efficiency from early foresight in module allocation and update directions, which the proposed EffOPD method exploits for 3x faster training with comparable performance.
-
Representation Gap: Explaining the Unreasonable Effectiveness of Neural Networks from a Geometric Perspective
cs.LG · 2026-05-20 · 3 theorem links
Derives an asymptotic equivalent for the Representation Gap in equivariant diffusion models, showing it depends primarily on the intrinsic dimension of the task.
-
EdgeRazor: A Lightweight Framework for Large Language Models via Mixed-Precision Quantization-Aware Distillation
cs.LG · 2026-04-10 · 3 theorem links
EdgeRazor uses structural mixed-precision quantization, layer-adaptive feature distillation, and entropy-aware KL divergence to achieve 1.88-bit LLMs that outperform prior 2-bit and 3-bit baselines with 4-10x lower training budget.
-
SplAttN: Bridging 2D and 3D with Gaussian Soft Splatting and Attention for Point Cloud Completion
cs.CV · 2026-05-02 · 3 theorem links
SplAttN uses Gaussian soft splatting and attention to avoid sparse projection collapse in point cloud completion, achieving SOTA results and demonstrating genuine visual cue reliance on KITTI.
-
Pelican-Unify 1.0: A Unified Embodied Intelligence Model for Understanding, Reasoning, Imagination and Action
cs.RO · 2026-05-14 · 3 theorem links
A unified embodied foundation model uses one VLM for understanding and reasoning plus a joint video-action future generator, reporting competitive scores on VLM, world modeling, and robot benchmarks without apparent compromise.
-
Algebraic locality and non-invertible Gauss laws
hep-th · 2026-05-20 · 3 theorem links
For non-invertible on-site symmetries on 2+1D lattices, Haag duality is preserved exactly only for cuspless regions (weak form with collar for cusped regions); disjoint additivity holds for group-based double models and is weakened for general Hopf algebra constraints, including extended string-net
-
How to Build Marcus's Algebraic Mind: Algebro-Deterministic Substrate over Galois Fields
cs.NE · 2026-05-20 · 3 theorem links
PyVaCoAl/VaCoAl uses XOR-and-shift over GF(2) to meet Marcus's three requirements for an algebraic mind and supports Pearl-style counterfactuals via the same algebra.
-
Kosmos: An AI Scientist for Autonomous Discovery
cs.AI · 2025-11-04 · 3 theorem links
Kosmos is an AI scientist that maintains coherence over hundreds of agent steps via a shared world model, executes thousands of code lines and reads thousands of papers per run, and produces traceable reports with 79.4% statement accuracy according to independent reviewers.
-
Holomorphic Neural ODEs with Kolmogorov-Arnold Networks for Interpretable Discovery of Complex Dynamics
cs.LG · 2026-05-21 · 3 theorem links
Holomorphic KAN-ODE uses KANs plus Cauchy-Riemann regularization inside Neural ODEs to model six families of holomorphic complex dynamics, recovering symbolic governing equations and fractal boundaries with 280 parameters and high noise robustness.
-
GDP-Driven Structural and Dynamical Heterogeneity in the Synchronization of Chaotic Macroeconomic Networks
nlin.AO · 2026-05-20 · 3 theorem links
GDP-coupled chaotic macroeconomic networks exhibit partial synchronization and on-off intermittency under structural and dynamical heterogeneity, with mean-field approximations succeeding only in homogeneous cases and power-law laminar phases appearing in heterogeneous topologies.
-
Disentanglement Beyond Generative Models with Riemannian ICA
cs.LG · 2026-05-21 · 3 theorem links
RICA replaces ICA's global generative model with local Riemannian geometry, introducing a disentanglement tensor based on the Hessian of the log-likelihood and Ricci curvature to measure pointwise disentanglement, which recovers sources across manifolds in controlled tests.
-
One Sentence, One Drama: Personalized Short-Form Drama Generation via Multi-Agent Systems
cs.CV · 2026-05-21 · 3 theorem links
A hierarchical multi-agent framework converts a single sentence into a short drama using debate-based scripting, 3D-grounded first frames for spatial consistency, and multi-stage reviewer loops.
-
Q-PhotoNAS: Hybrid Quantum Neural Architecture Search Framework on Photonic Devices
quant-ph · 2026-05-21 · 3 theorem links
Q-PhotoNAS applies genetic algorithm search to jointly optimize classical preprocessing, phase encoding, and photonic circuit structure for hybrid quantum-classical models, reporting 99.44% and 98.78% accuracy on Digits and MNIST with projected photonic QPU inference times.
-
Scattering correction for infrared spectra of biological cells using computational infrared microspectroscopy and deep learning
physics.optics · 2026-05-21 · 3 theorem links
A deep learning model trained on synthetic IR spectra from 3D ellipsoid cell phantoms simulated with FDTD corrects scattering effects and recovers 3D dimensions from measured absorbance spectra of HeLa cells.
-
Complex spinorial forms, Brinkmann four-manifolds, and self-dual bundle gerbes
math.DG · 2026-05-21 · 3 theorem links
Develops complex spinorial forms to classify quasi-supersymmetric solutions of gauged supergravity as four-parameter families of complete gyratonic Brinkmann waves and derives foliation conditions for six-dimensional supergravity with self-dual bundle gerbes.
-
PeakFocus: Bridging Peak Localization and Intensity Regression via a Unified Multi-Scale Framework for Electricity Load Forecasting
cs.LG · 2026-05-20 · 3 theorem links
PeakFocus introduces a unified multi-scale framework with hybrid loss, peak locator, and location-aware decoder to jointly predict peak timing and intensity in electricity load forecasting.
-
Color as the Impetus: Transforming Few-Shot Learner
cs.CV · 2025-07-29 · 3 theorem links
Proposes a color-perception-inspired meta-learning framework with channel interaction and a knowledge-distillation meta-distiller that reports strong results on eleven few-shot benchmarks.
-
Recursive Hierarchical Networks and the Law of Functional Evolution: A Universal Framework for Complex Systems
physics.soc-ph · 2025-09-06 · 3 theorem links
The authors propose Recursive Hierarchical Networks and claim to prove a law of functional evolution showing irreversible progression through structure, regulation, and intelligence dominated stages, with similar monotonic trajectories across life, cosmic, informational, and social systems.
-
Livestock brush
patents · 2026-05-19 · 3 theorem links
A spring-and-cam livestock brush apparatus that applies controlled pressure and returns to rest after normal or excessive force.
-
Quantum Critical Collapse Abhors a Naked Singularity
gr-qc · 2025-09-03 · 3 theorem links
One-loop quantum vacuum polarization in Einstein-scalar critical collapse generates a horizon and finite mass gap, enforcing black hole formation even under arbitrary fine-tuning.