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 33958 papers
-
Triage: An Adaptive Parallel Window Decoding Scheduler for Real-time Fault-Tolerant Quantum Computation
quant-ph · 2026-05-06 · 4 theorem links
Triage is an adaptive parallel window decoding scheduler that reduces average logical error rates by 52.6% compared to standard temporal parallelism while keeping stalls low under scarce classical resources.
-
The galaxy-halo connection and the dynamical evolution of a giant disc in a massive node of the Cosmic Web at z~3
astro-ph.GA · 2026-05-05 · 4 theorem links
The Big Wheel at z~3 has a stellar-to-halo mass ratio of 0.06, higher than expected, implying efficient stellar assembly without major mergers or instabilities.
-
$p$-adic Manifold Learning and Benchmark Tasks from Impartial Games
cs.LG · 2026-05-06 · 4 theorem links
p-adic manifold learning is introduced with a solving algorithm and impartial-game benchmark tasks.
-
Hardware-Aware Neural Feature Extraction for Resource-Constrained Devices
cs.LG · 2026-05-05 · 4 theorem links
Gideon is a hardware-aware feature extractor using distillation and DNAS that achieves 111 fps on STM32N6 under 1.5 MB memory with negligible INT8 quantization loss.
-
Quantitative homogenization of elliptic equations with infinitely many scales
math.AP · 2026-05-04 · 4 theorem links
Under scale-separation assumptions, the authors prove qualitative homogenization, optimal L2 convergence rates, and uniform interior/boundary Lipschitz estimates for elliptic equations with infinitely many periodic scales.
-
Completely-positive non-signalling non-Markovian dynamics
quant-ph · 2026-05-04 · 4 theorem links
Non-Markovian quantum dynamics with complete positivity and non-signalling is characterized by an integro-differential equation augmenting the GKSL master equation with a memory integral, allowing description of systems with any integrable power spectral density and multi-time correlation evaluation
-
On the Consistency of Covariant Light-Speed Variation in Doubly Special Relativity
hep-ph · 2026-05-06 · 4 theorem links
In the DSR1 model with subluminal light-speed variation, a boosted box can overtake its own emitted photon above a critical rapidity, leading to tensions in particle counting and motion not resolved by relative locality.
-
Online Riemannian Gradient Descent for Quantum State Tomography with Matrix Product Operators
quant-ph · 2026-05-06 · 4 theorem links
An online Riemannian gradient descent method for MPO-based quantum state tomography achieves linear convergence with quadratically scaling sample complexity and connects the problem to low TT-rank tensor completion.
-
Gravitational electric-magnetic duality at the light ring and quasinormal mode isospectrality in effective field theories
gr-qc · 2026-05-04 · 4 theorem links
Gravitational electric-magnetic duality at the light ring organizes and preserves quasinormal mode isospectrality in GR and selects duality-invariant higher-derivative corrections in effective field theories.
-
Asymptotics of Minimizers for Ginzburg--Landau-type Functionals in High Dimensions
math.AP · 2026-05-06 · 4 theorem links
Minimizers of Ginzburg-Landau functionals in high dimensions converge in energy to (n-2)-rectifiable stationary varifolds with homotopy-quantized densities and converge in H1_loc to harmonic maps outside (n-3)-singular sets.
-
FLUID: Continuous-Time Hyperconnected Sparse Transformer for Sink-Free Learning
cs.LG · 2026-05-06 · 4 theorem links
FLUID is a continuous-time transformer using Liquid Attention Networks to model attention as stable ODE solutions that interpolate between discrete SDPA and CT-RNNs, with an explicit sink gate and liquid hyper-connections for better information flow.
-
Superradiance in acoustic black hole
gr-qc · 2024-12-30 · 4 theorem links
Pith review generated a malformed one-line summary.
-
Exact Chiral Symmetries of 3+1D Hamiltonian Lattice Fermions
cond-mat.str-el · 2025-03-10 · 4 theorem links
Pith review generated a malformed one-line summary.
-
Scalar Thermal Field Theory for a Rotating Plasma
hep-th · 2025-03-12 · 4 theorem links
Pith review generated a malformed one-line summary.
-
Non-minimally coupled gravity constraints from DESI DR2 data
astro-ph.CO · 2025-03-25 · 4 theorem links
Pith review generated a malformed one-line summary.
-
Thin-shell gravastar model in a BTZ geometry with minimum length
gr-qc · 2025-04-04 · 4 theorem links
Pith review generated a malformed one-line summary.
-
Perturbative LVS and Inflation: A Review of Volume Modulus and Fibre Scenarios
hep-th · 2025-05-02 · 4 theorem links
Pith review generated a malformed one-line summary.
-
Sphalerogenesis
hep-ph · 2025-05-15 · 4 theorem links
Pith review generated a malformed one-line summary.
-
Periodic Orbits and Gravitational Wave Radiation of Black Hole in EGB gravity
gr-qc · 2025-06-05 · 4 theorem links
Pith review generated a malformed one-line summary.
-
Weak null singularity for the Einstein-Euler system
gr-qc · 2025-06-19 · 4 theorem links
Weak null singularities of Luk-type persist when a self-gravitating perfect fluid is added to the Einstein equations, and the fluid variables — unlike light-speed matter — extend continuously to the singularity because the sound speed is strictly subluminal.
-
Covariant Spinor Formalism for Multipole Expanded Form Factor
hep-ph · 2026-05-05 · 4 theorem links
A canonical-spinor / little-group construction yields complete, non-redundant Lorentz-covariant LS bases for hadronic form factors, recovering the multipole and Zemach expansions in the Breit frame.
-
The intersection dual of geodesic currents
math.GT · 2026-05-05 · 4 theorem links
A function on curves equals intersection with a unique geodesic current iff it is additive on disjoint unions and non-increasing under smoothing essential crossings.
-
Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
cs.CR · 2026-05-05 · 4 theorem links
High-agreement literals from a p-bit Ising sampler, fed to CDCL as assumptions with retry/fallback, cut median CDCL conflicts and propagations by ~80% on selected CBS/RTI 3-SAT instances but help little on graph-coloring instances.
-
Localic Relations with Open Cones
math.CT · 2026-05-05 · 4 theorem links
Open-cone localic relations on a locale X correspond, up to a strongly dense inclusion, to frames OX equipped with a join-preserving parallel pair of "cone" operators, via an adjunction whose counit is the identity.
-
Kazhdan-Lusztig polynomials of Dowling geometries
math.CO · 2026-05-05 · 4 theorem links
Coefficients of (equivariant) Kazhdan–Lusztig and Z-polynomials of Dowling geometries Q_n(G) count G-labeled (simple) quasi series-parallel matroids on [n], with Γ acting as a permutation representation.
-
Topical mosquito control product with sunscreen
patents · 2026-06-09 · 3 theorem links
A patented topical lotion uses plant oils for mosquito repellency and mixed-size zinc oxide particles for sunscreen in a water-mineral oil base.
-
Method for oxygen-doping of poultry drinking water with calcium carbonate control
patents · 2026-06-09 · 3 theorem links
A patented method supplies poultry with oxygenated water by injecting an oxygen-CO2 mixture with fixed CO2 percentage to hold dissolved CO2 at 3-20 mg/L and avoid CaCO3 formation.
-
Base phi representations and golden mean beta-expansions
math.NT · 2019-06-20 · 3 theorem links
Expressions using generalized Beatty sequences characterize the natural numbers with a 1 at the kth digit in the base-phi representation, proving conjectures for k=0 and 1.
-
Cell Shape and Durotaxis Follow from Mechanical Cell-Substrate Reciprocity and Focal Adhesion Dynamics: A Unifying Mathematical Model
q-bio.CB · 2019-06-21 · 3 theorem links
A computational model based on focal adhesion force-dependent growth and stability explains stiffness-dependent cell spreading, elongation, and durotaxis.
-
Self-duality in quantum K-theory
math.AG · 2019-06-26 · 3 theorem links
Twisting the virtual structure sheaf yields self-dual quantum K-invariants for P^n but not for general GKM manifolds, shown via explicit localization combinatorics and Givental's adelic characterization.
-
3D integration and packaging for solid-state qubits
quant-ph · 2019-06-26 · 3 theorem links
The paper reviews the importance of 3D integration and packaging for operating solid-state qubits in cryogenic environments.
-
The Entropic Dynamics Approach to the Paradigmatic Quantum Mechanical Phenomena
quant-ph · 2019-06-29 · 3 theorem links
Entropic Dynamics reproduces paradigmatic quantum phenomena such as double-slit minima and harmonic oscillator probability flow using only probability densities, diffusion, and entropy maximization.
-
Quantum Trajectories in Entropic Dynamics
quant-ph · 2019-06-30 · 3 theorem links
Studies trajectories in the continuum between Nelson-like stochastic and Bohmian deterministic limits inside the Entropic Dynamics framework using double-slit and Stern-Gerlach examples.
-
On Symmetry and Initialization for Neural Networks
cs.LG · 2019-07-01 · 3 theorem links
For symmetric target functions, chosen initial conditions in one-hidden-layer networks enable SGD to produce generalization guarantees, unlike random initialization.
-
Neutrino Masses from the Point of View of Economy and Simplicity
hep-ph · 2019-07-02 · 3 theorem links
Neutrino masses are unlikely to share the Standard Model origin of other fermion masses, with the Weinberg effective Lagrangian providing the simplest beyond-Standard-Model mechanism for small Majorana masses.
-
A Different Angle on Quantum Uncertainty (Measure Angle)
quant-ph · 2019-07-02 · 3 theorem links
Quantum uncertainty is expressed as the measure of collapse possibilities, producing new uncertainty limits inherent to quantum mechanics.
-
Admissibility and polynomial dichotomies for evolution families
math.DS · 2019-07-02 · 3 theorem links
Characterizes polynomial dichotomies for arbitrary evolution families via admissibility and proves robustness of strong nonuniform polynomial dichotomies under small linear perturbations.
-
Causal models on probability spaces
math.ST · 2019-07-02 · 3 theorem links
Causal models are built on probability spaces to formalize the potential outcomes framework, introduce a visualization technique, and provide initial steps toward an axiomatic theory of general causal models.
-
A tweezer array with 6100 highly coherent atomic qubits
quant-ph · 2024-03-18 · 3 theorem links
Experimental demonstration of a 6100-atom optical tweezer array with record 12.6 s hyperfine qubit coherence, 23 min trapping lifetime, 99.99% imaging fidelity, and coherence-preserving transport for zone-based quantum computing.
-
InfiGFusion: Graph-on-Logits Distillation via Efficient Gromov-Wasserstein for Model Fusion
cs.CL · 2025-05-20 · 3 theorem links
InfiGFusion introduces graph-on-logits distillation with an O(n log n) Gromov-Wasserstein approximation to fuse LLMs by modeling token co-activations, reporting gains over baselines on 11 benchmarks.
-
Less is More Revisited: Association with Global Protocols and Multiparty Sessions
cs.PL · 2024-02-26 · 3 theorem links
Introduces an association relation for proving subject reduction in multiparty session π-calculus, guaranteeing session fidelity, deadlock freedom, and liveness from global types.
-
On Markowitz's pseudodistance for conformal manifolds
math.DG · 2025-09-19 · 3 theorem links
Reviews Markowitz pseudodistance properties and classifies quasi-homogeneous domains of Einstein-de Sitter space as finite in number and homogeneous up to conformal transformations.
-
TinyStories: How Small Can Language Models Be and Still Speak Coherent English?
cs.CL · 2023-05-12 · 3 theorem links
Tiny language models under 10M parameters trained on a synthetic children's story dataset generate fluent, consistent, multi-paragraph English text with near-perfect grammar and reasoning.
-
Fewest-Switches Surface Hopping with Combined Deep Learning Potential and Long Short-Term Memory Network Propagator for Simulating Realistic Photochemical Processes
physics.chem-ph · 2026-01-29 · 3 theorem links
An extended LSTM-FSSH method using equivariant neural networks and redesigned LSTM inputs simulates photoisomerization lifetimes and yields accurately with only 10 training trajectories.
-
Spectral constants for the quantum annulus
math.FA · 2026-01-24 · 3 theorem links
New upper and lower bounds on spectral constants K(A_r) for the quantum annulus and polyannulus, with two alternative proofs of an existing estimate and separate results for commuting operators.
-
CoFrGeNet: Continued Fraction Architectures for Language Generation
cs.CL · 2026-01-29 · 3 theorem links
CoFrGeNets implement a continued-fraction function class as plug-in replacements for transformer blocks, delivering competitive or superior downstream performance on GPT2-xl and Llama3-scale models with one-half to two-thirds the parameters.
-
Intrinsic Width of the Flux Tube as a tool to explore confining mechanisms in Lattice Gauge Theories
hep-lat · 2026-01-27 · 3 theorem links
Lattice data on the intrinsic width of SU(2) flux tubes in 2+1D distinguish confining models, favoring dual superconductor at low T but with length-dependent Ginzburg-Landau parameter.
-
ALIVE: Awakening LLM Reasoning via Adversarial Learning and Instructive Verbal Evaluation
cs.AI · 2026-02-05 · 3 theorem links
ALIVE is a hands-free alignment method that unifies problem posing, solving, and judging in a single LLM policy via adversarial learning and instructive verbal evaluation to build intrinsic reasoning ability.
-
A Bounded-Confidence Model of Opinion Dynamics with Adaptive Interaction Probabilities
physics.soc-ph · 2026-05-19 · 3 theorem links
The authors extend the DW opinion dynamics model with adaptive edge weights on networks, prove convergence and effective-graph properties, and simulate that adaptive weights speed convergence on dense networks but slow it on sparse ones for small confidence bounds.
-
4DThinker: Thinking with 4D Imagery for Dynamic Spatial Understanding
cs.CV · 2026-05-07 · 3 theorem links
4DThinker enables VLMs to perform dynamic spatial reasoning by thinking with 4D latent mental imagery using new fine-tuning and reinforcement learning methods.
-
Quantum Dynamics in Krylov Space: Methods and Applications
quant-ph · 2024-05-15 · 3 theorem links
Krylov subspace methods efficiently describe quantum evolution, operator growth, and chaos in many-body systems, with metrics like Krylov complexity and applications in open systems, QFT, and quantum computing.
-
World Machine: Towards Generative World Modeling for Time-Series
cs.LG · 2026-05-21 · 3 theorem links
World Machine is a latent-state transformer for generative time-series world modeling that claims better adaptation and lower scaling costs than standard transformers, validated on synthetic Toy1D data.
-
FIRMA: FIbonacci Ring Model Aggregation for Privacy-preserving Federated Learning
cs.LG · 2026-05-21 · 3 theorem links
FIRMA introduces Fibonacci ring aggregation protocols for server-free federated learning that maintain private heads and achieve higher accuracy than FedAvg under label skew across multiple benchmarks and heterogeneity regimes.
-
SolarChain: Bridging Physical Law, Verifiable Trust, and Sustainable Markets for Urban Energy Resilience
cs.CY · 2026-05-22 · 3 theorem links
SolarChain integrates first-principles solar yield calculations with blockchain verification to enforce physical output limits, enable sustainable P2P energy trading, and retire credits proportional to actual consumption.
-
What is the Geometric Langlands Correspondence about?
math.RT · 2026-05-22 · 3 theorem links
A survey paper presents the Geometric Langlands correspondence informally as an algebraic spectral theorem for automorphic sheaves and a blueprint for studying nonabelian symmetry.
-
StakeDag: Stake-based Consensus For Scalable Trustless Systems
cs.DC · 2019-07-05 · 3 theorem links
StakeDag introduces a stake-weighted consensus protocol S_φ for leaderless asynchronous DAGs to achieve pBFT by treating stake as validating weights in a system separating users and validators.
-
Mixed Hodge numbers and factorial ratios
math.NT · 2019-07-05 · 3 theorem links
Three geometric criteria using mixed Hodge numbers ensure integrality of specific factorial ratios such as (30n)! n! / ((6n)! (10n)! (15n)!) for all n.
-
CHRONOS: Temporally-Aware Multi-Agent Coordination for Evolving Data Marketplaces
cs.DB · 2026-05-22 · 3 theorem links
CHRONOS is a three-layer system for evolving data marketplaces that applies neural-ODE temporal decay, changepoint-aware Shapley valuation, and EXP3-IX private coordination to achieve 0.937 recall, 2.74 qps, 161 ms latency, and epsilon 4.25 at delta 10^-6.
-
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic
cs.LO · 2019-07-05 · 3 theorem links
Extends dL with parallel composition semantics and techniques for automating safety proofs from modular component proofs parameterized by timing characteristics.
-
Learning Neural Sequence-to-Sequence Models from Weak Feedback with Bipolar Ramp Loss
cs.CL · 2019-07-06 · 3 theorem links
Bipolar ramp loss objectives, including a novel token-level variant, outperform non-bipolar ramp losses and minimum risk training on weakly supervised machine translation and semantic parsing.