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 33886 papers
-
The formation of a weak null singularity in the interior of generic rotating black holes
gr-qc · 2026-04-06 · 3 theorem links
A weak null singularity forms inside generic subextremal strictly rotating black holes, with the metric continuously extendible but not Lipschitz extendible.
-
Artificial Intelligence and the Structure of Mathematics
cs.AI · 2026-04-07 · 3 theorem links
AI agents exploring Platonic mathematical structures via proof hypergraphs may reveal the overall architecture of formal mathematics and what makes parts of it human-accessible.
-
Near-Tsirelson Bell-CHSH Violations in Quantum Field Theory via Carleman and Hankel Operators
math-ph · 2026-04-06 · 3 theorem links
Explicit test functions in (1+1)D free spinor QFT achieve Bell-CHSH values converging to Tsirelson's bound 2√2 via reductions to Carleman and Hankel operator spectra.
-
Designing Digital Humans with Ambient Intelligence
cs.HC · 2026-04-06 · 3 theorem links
Integrating ambient intelligence with digital humans creates context-aware virtual agents capable of anticipatory assistance based on the user's surroundings.
-
Mathematical Models of Evolution and Replicator Systems Dynamics. Chapter 1: Introduction to Replicator Systems
q-bio.PE · 2026-04-07 · 3 theorem links
The chapter overviews replicator equations, hypercyclic replication, and quasispecies frameworks as a unified mathematical basis for evolutionary dynamics beyond biology.
-
Tight Convergence Rates for Online Distributed Linear Estimation with Adversarial Measurements
stat.ML · 2026-04-07 · 3 theorem links
Establishes tight finite-time convergence rates for online distributed linear estimation under adversarial measurements and asynchrony via a two-timescale l1-minimization algorithm, plus relaxed matrix conditions for projected recovery.
-
Algebraic approach to quantum gravity IV: applications
gr-qc · 2026-04-07 · 3 theorem links
The algebraic quantum gravity approach derives the Kaluza-Klein ansatz from quantum spacetime, produces conserved charges on lattices, yields a generally covariant quantum mechanics with black-hole results, and identifies a phase transition in a 4-pointed star model of Euclidean quantum gravity.
-
Winding Back the Clock: Recent Star Formation Histories of Massive Quiescent Galaxies Are Consistent With Their Rapid Number Density Evolution Since $\mathbf{z\sim7}$
astro-ph.GA · 2026-04-06 · 3 theorem links
Star formation histories inferred for z=2-5 massive quiescent galaxies imply past number densities that align with observed rapid evolution since z~7.
-
Universal Ladder Structure Across Scales: From Quantum to Black Hole Physics
gr-qc · 2026-04-06 · 3 theorem links
A symmetry-based litmus test identifies when physical systems governed by second-order ODEs possess ladder structures and constructs them, linking supersymmetric quantum mechanics to Kerr black-hole tidal responses.
-
The Infinite-Dimensional Nature of Spectroscopy and Why Models Succeed, Fail, and Mislead
cs.LG · 2026-04-06 · 3 theorem links
The high dimensionality of spectral data makes even tiny distributional differences from noise or artifacts perfectly separable by ML models, as explained by the Feldman-Hajek theorem and concentration of measure.
-
FoleyDesigner: Immersive Stereo Foley Generation with Precise Spatio-Temporal Alignment for Film Clips
cs.CV · 2026-04-07 · 3 theorem links
FoleyDesigner generates spatio-temporally aligned stereo Foley audio for film clips via multi-agent analysis, diffusion models on video cues, and LLM mixing, supported by the new FilmStereo dataset.
-
Hallucination Basins: A Dynamic Framework for Understanding and Controlling LLM Hallucinations
cs.CL · 2026-04-06 · 3 theorem links
LLM hallucinations arise from task-dependent basins in latent space, with separability varying by task and geometry-aware steering reducing their probability.
-
Reconstructing a large-scale matter-density contrast profile to reconcile Pantheon+ supernovae with DESI DR2 BAO in an inhomogeneous universe
astro-ph.CO · 2026-04-07 · 3 theorem links
An eight top-hat shell model of large-scale inhomogeneity reconciles the Hubble parameters measured by DESI DR2 BAO and Pantheon+ supernovae.
-
HingeMem: Boundary Guided Long-Term Memory with Query Adaptive Retrieval for Scalable Dialogues
cs.CL · 2026-04-08 · 3 theorem links
HingeMem segments dialogue memory via boundary-triggered hyperedges over four elements and applies query-adaptive retrieval, yielding ~20% relative gains and 68% lower QA token cost versus baselines on LOCOMO.
-
SymptomWise: A Deterministic Reasoning Layer for Reliable and Efficient AI Systems
cs.AI · 2026-04-07 · 3 theorem links
SymptomWise uses expert knowledge and deterministic rules for diagnosis after LLM-based symptom extraction, achieving 88% top-5 accuracy on 42 challenging pediatric neurology cases.
-
Absorption and quasinormal modes by rotating acoustic black holes in Lorentz-violating background
gr-qc · 2026-04-07 · 3 theorem links
Lorentz violation increases the absorption cross section of rotating acoustic black holes at all frequencies and causes faster damping of their quasinormal modes.
-
Black Hole Entropy in f(Q) Gravity from the RVB Residue Method
gr-qc · 2026-04-06 · 3 theorem links
Black hole entropy in f(Q) gravity obeys a universal integral relation involving horizon data and a residue-induced temperature shift, with an explicit first-order correction for the quadratic model.
-
MESA Isochrones and Stellar Tracks (MIST). I: Solar-Scaled Models
astro-ph.SR · 2016-04-28 · 3 theorem links
MIST provides a new publicly available grid of solar-scaled stellar isochrones and evolutionary tracks computed self-consistently with MESA from pre-main sequence through advanced stages for masses 0.1-300 solar masses and metallicities -2 to 0.5.
-
Quantum MIMO Channel Modeling in Turbulent Free-Space Optical Links
quant-ph · 2026-04-08 · 3 theorem links
A first-principles wave-optical model for quantum MIMO channels in turbulent FSO links that accounts for intermodal crosstalk and reduces to a correlated n-qubit erasure channel.
-
Investigating the intrinsic anomalous Hall effect in MnPt3 topological semimetal
cond-mat.str-el · 2026-04-08 · 3 theorem links
MnPt3 films exhibit thickness-tunable intrinsic anomalous Hall conductivity dominated by Berry curvature, enhanced by epitaxial strain.
-
Quasicrystal Architected Nanomechanical Resonators via Data-Driven Design
cond-mat.mes-hall · 2026-04-08 · 3 theorem links
Data-driven design of 12-fold quasicrystal nanomechanical resonators achieves Q_m of approximately 10^7 and force sensitivity of 26.4 aN per square root Hz.
-
ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits
cs.SE · 2026-04-08 · 3 theorem links
ExplainFuzz generates coherent, constraint-satisfying test inputs via grammar-compiled probabilistic circuits, raising bug-trigger rates from 35% to 63% in SQL and 10% to 100% in XML over mutational fuzzing.
-
The evolution of exocomets and their source populations
astro-ph.EP · 2026-04-09 · 3 theorem links
A review summarizing dynamical and physical evolution of Solar System comets and exocomets, highlighting large gaps in exocomet physics due to lack of direct probes.
-
Bi-Lipschitz Autoencoder With Injectivity Guarantee
cs.LG · 2026-04-08 · 3 theorem links
BLAE adds injective regularization via a separation criterion and bi-Lipschitz constraints to guarantee injectivity and geometric preservation in autoencoders, outperforming prior methods on manifold fidelity under sparsity and distribution shifts.
-
Understanding Emergent Misalignment via Feature Superposition Geometry
cs.AI · 2026-04-07 · 3 theorem links
Emergent misalignment occurs because fine-tuning amplifies target features that overlap geometrically with harmful ones in superposition, and filtering samples near toxic features mitigates it.
-
The colored edge theory of A. Bulatov and binary absorption in minimal Taylor algebras
math.LO · 2026-04-06 · 3 theorem links
A specialized definition of colored edge graphs for minimal Taylor algebras enables simplified reproofs of Bulatov's key theorems.
-
iTAG: Inverse Design for Natural Text Generation with Accurate Causal Graph Annotations
cs.CL · 2026-04-08 · 3 theorem links
iTAG generates natural text paired with accurate causal graph annotations by framing concept assignment as an inverse problem and refining selections via chain-of-thought reasoning until the text's relations align with the target causal structure.
-
SepSeq: A Training-Free Framework for Long Numerical Sequence Processing in LLMs
cs.CL · 2026-04-09 · 3 theorem links
SepSeq improves LLM accuracy on long numerical sequences by an average of 35.6% by inserting separator tokens that serve as attention sinks while cutting token usage by 16.4%.
-
The Condition-Number Principle for Prototype Clustering
stat.ML · 2026-04-09 · 3 theorem links
A condition-number principle shows that small suboptimality in admissible prototype clustering objectives implies small misclassification error when the condition number is low, with phase transitions for exact recovery.
-
Megatron-LM: Training Multi-Billion Parameter Language Models Using Model Parallelism
cs.CL · 2019-09-17 · 3 theorem links
Intra-layer model parallelism in PyTorch enables training of 8.3B-parameter transformers, achieving SOTA perplexity of 10.8 on WikiText103 and 66.5% accuracy on LAMBADA.
-
Bilattice-Catastrophe Isomorphism for Four-Valued Logic in Digital Systems
cond-mat.dis-nn · 2026-04-09 · 3 theorem links
Belnap's four-valued logic is isomorphic to the cusp catastrophe, making the algebra FOUR the minimal complete structure for continuous-discrete interfaces with involution symmetry and revealing X and Z as topological invariants.
-
The Illusion of Learning from Observational Data: An Empirical Bayes Perspective
stat.ME · 2026-04-10 · 3 theorem links
Calibration experiments allow empirical Bayes to learn observational bias distributions, enabling consistent causal effect estimation from observational studies.
-
Probing the Planck scale with quantum computation
quant-ph · 2026-04-07 · 3 theorem links
A 500-logical-qubit quantum computer could reject laboratory-confined theories by surpassing the Planck-scale operation rate of 2^491 m^{-3} s^{-1}, with a 1600-qubit machine limited by the observable universe.
-
High-Dimensional Quantum Photonics: Roadmap
quant-ph · 2026-04-07 · 3 theorem links
The roadmap reviews advances in generating and manipulating high-dimensional quantum states of light across photonic degrees of freedom and outlines common challenges for their integration into future quantum technologies.
-
Scientific Knowledge-driven Decoding Constraints Improving the Reliability of LLMs
cs.CL · 2026-04-08 · 3 theorem links
SciDC turns flexible scientific knowledge into standardized decoding constraints via LLMs, delivering a 12% average accuracy gain over vanilla generation on tasks including formulation design, tumor diagnosis, and retrosynthesis.
-
GW190711_030756 and GW200114_020818: astrophysical interpretation of two asymmetric binary black hole mergers in the IAS catalog
astro-ph.HE · 2026-04-08 · 3 theorem links
Two asymmetric BBH mergers are characterized with mass ratios 0.35 and ≤0.20; one shows high spins, negative χ_eff, and strong precession, suggesting an emerging population of massive rapidly spinning systems.
-
Hidden in Plain Sight: Visual-to-Symbolic Analytical Solution Inference from Field Visualizations
cs.AI · 2026-04-10 · 3 theorem links
ViSA-R2 recovers single executable SymPy expressions for linear steady-state fields from visualizations using a self-verifying chain-of-thought that recognizes patterns, hypothesizes solution families, derives parameters, and checks consistency.
-
The Weaponization of Computer Vision: Tracing Military-Surveillance Ties through Conference Sponsorship
cs.CY · 2026-04-09 · 3 theorem links
44% of tech companies sponsoring computer vision conferences have direct connections to military or surveillance applications.
-
A Neural-Enhanced Weak Galerkin Method for Second-Order Elliptic Problems with Low-Regularity Solutions
math.NA · 2026-04-07 · 3 theorem links
A neural-enriched weak Galerkin method captures singular solution components in elliptic problems and achieves quasi-optimal error estimates while retaining optimal rates for smooth cases.
-
HiL-Bench (Human-in-Loop Benchmark): Do Agents Know When to Ask for Help?
cs.AI · 2026-04-10 · 3 theorem links
HiL-Bench shows frontier AI agents fail to ask for help on incomplete tasks, recovering only a fraction of full-information performance, but RL training on Ask-F1 reward improves judgment and transfers across domains.
-
Information as Structural Alignment: A Dynamical Theory of Continual Learning
cs.LG · 2026-04-08 · 3 theorem links
IBF achieves near-zero forgetting and positive backward transfer in continual learning by driving configurations toward coherence through motion and modification dynamics without storing raw data.
-
When a meromorphic function that omits three values has a bounded type
math.CV · 2026-04-07 · 3 theorem links
Meromorphic functions omitting three values in H(-m) are of bounded type in the half-plane if and only if the log integral of the boundary function m converges.
-
Continual Distillation of Teachers from Different Domains
cs.LG · 2026-04-10 · 3 theorem links
SE2D stabilizes continual distillation across heterogeneous teachers by preserving logits on external unlabeled data to mitigate unseen knowledge forgetting.
-
Spectral Kernel Dynamics via Maximum Caliber: Fixed Points, Geodesics, and Phase Transitions
cs.RO · 2026-04-10 · 3 theorem links
Maximum Caliber on graph spectral kernels yields self-consistent fixed-point solutions, log-linear Fisher-Rao geodesics, and spectral entropy signals for structural phase transitions.
-
Unsupervised Local Plasticity in a Multi-Frequency VisNet Hierarchy
cs.CV · 2026-04-09 · 3 theorem links
A multi-frequency VisNet hierarchy with local plasticity rules achieves 80.1% accuracy on CIFAR-10 and 47.6% on CIFAR-100 from raw unlabeled data.
-
The Corporate Bond Factor Replication Crisis
q-fin.PR · 2026-04-09 · 3 theorem links
Correcting for correlated errors-in-variables bias and asymmetric look-ahead filtering in corporate bond data causes the majority of 108 tested factors to lose statistical significance.
-
Vector Field Synthesis with Sparse Streamlines Using Diffusion Model
cs.CV · 2026-04-10 · 3 theorem links
A conditional denoising diffusion model with classifier-free guidance synthesizes physically plausible 2D vector fields from sparse streamlines and outperforms optimization baselines.
-
Intensity Dot Product Graphs
stat.ML · 2026-04-09 · 3 theorem links
Intensity Dot Product Graphs generate random graphs via Poisson point processes on latent space with dot-product affinities, defining heat maps and desire operators while proving spectral consistency to the operator spectrum.
-
Shear, Not Coherence, Organizes chaotic response under Higher-Order Coupling
nlin.CD · 2026-04-09 · 3 theorem links
Chaos in higher-order coupled oscillator networks is organized by effective-frequency shear from amplitude heterogeneity, not by phase coherence.
-
Continuum dynamics from quantised interaction rules
math.NA · 2026-04-08 · 3 theorem links
FQNM realizes the conservative operator as an antisymmetric integer transfer rule, proving exact conservation, monotonicity, TVD, L1 stability and convergence to the entropy solution for scalar laws with monotone flux splitting while collapsing distinct flux formulations to identical dynamics.
-
Complexity phase transition for continuous-variable cluster state
quant-ph · 2026-04-09 · 3 theorem links
Squeezing levels in CV cluster states mark a phase transition between classically tractable and intractable regimes for measurement-based linear optics.
-
Elementary links from prime Fano threefolds along two lines
math.AG · 2026-04-09 · 3 theorem links
Establishes elementary links from blowups of prime Fano threefolds of genus 12, 10 or 9 along disjoint lines to blowups of other Fano threefolds or conic bundles, with converses for g=12 and 10.
-
Reinforcement learning with reputation-based adaptive exploration promotes the evolution of cooperation
physics.comp-ph · 2026-04-09 · 3 theorem links
Coupling exploration rates to local reputation differences and using asymmetric reputation updates in Q-learning promotes the evolution of cooperation in multi-agent evolutionary games.
-
Analogues of a formula of Ferrar: what I have learned from Semyon Yakubovich
math.HO · 2026-04-07 · 3 theorem links
New analogues of Ferrar's summation formula are derived and linked to Dirichlet series behavior via the Mellin transform.
-
Transition probabilities of step-reinforced random walks
math.PR · 2026-04-08 · 3 theorem links
Generalized step-reinforced random walks on groups admit transition probability upper bounds determined by the isoperimetric profile of the Cayley graph, proving transience in Euclidean space for dimensions d≥3 and any reinforcement α<1, and resolving exponential decay for the elephant random walk.
-
Cognitive Flexibility as a Latent Structural Operator for Bayesian State Estimation
eess.SY · 2026-04-09 · 3 theorem links
Cognitive Flexibility is a new representation-level operator for Bayesian filters that dynamically selects latent structures via predictive scores to reduce inconsistency under mismatch while preserving the recursion and exhibiting descent and finite-switching properties.
-
A beat wave approach to harmonic generation in chiral media
physics.optics · 2026-04-09 · 3 theorem links
Extending the beat-wave model to chiral media yields a criterion for when enantio-sensitive interference in harmonic generation survives spatial or angular integration as global chirality versus remaining local.
-
Entanglement in a molecular Lieb-lattice quantum computing circuit: A tensor network study
cond-mat.str-el · 2026-04-08 · 3 theorem links
Tensor network calculations reveal rich entanglement patterns, quantum phase transitions, and tunable spin coherence in a molecular Lieb-lattice circuit designed for spin-based quantum computing.
-
The Myth of Expert Specialization in MoEs: Why Routing Reflects Geometry, Not Necessarily Domain Expertise
cs.AI · 2026-04-10 · 3 theorem links
Expert specialization in MoEs is an emergent effect of hidden state geometry due to linear routers, not domain expertise, as confirmed empirically across models and explained by a proof on load-balancing effects.
-
SPASM: Stable Persona-driven Agent Simulation for Multi-turn Dialogue Generation
cs.CL · 2026-04-10 · 3 theorem links
SPASM introduces a stability-first framework with Egocentric Context Projection to maintain consistent personas and eliminate echoing in multi-turn LLM agent dialogues.