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 33856 papers
-
Weight Clipping for Robust Conformal Inference under Unbounded Covariate Shifts
cs.LG · 2026-05-03 · 3 theorem links
Clipped least-squares importance fitting enables weighted conformal prediction to achieve dataset-conditional coverage guarantees under unbounded covariate shifts by bounding undercoverage and estimating a corrective inflation factor from data.
-
Cascade Token Selection for Transformer Attention Acceleration
cs.LG · 2026-05-04 · 3 theorem links
Cascade token selection inherits and updates a small set of representative tokens across layers using cross-Gram validation, reducing selection cost from O(T²d) to O(Trd) per layer with observed Gram savings of 22-63% and high layer-to-layer overlap.
-
Observability Conditions and Filter Design for Visual Pose Estimation via Dual Quaternions
eess.SY · 2026-05-03 · 3 theorem links
The work derives observability conditions for dual quaternion-based visual pose estimation and designs a Lie group unscented Kalman filter that improves robustness to occlusions over standard PnP methods.
-
Relations between different definitions of the quantum Wasserstein distance for qubits
quant-ph · 2026-05-04 · 3 theorem links
Two quantum Wasserstein distance definitions coincide for qubits with single-operator cost functions, implying the self-distance equals the Wigner-Yanase skew information.
-
ShiftLIF: Efficient Multi-Level Spiking Neurons with Power-of-Two Quantization
cs.NE · 2026-05-03 · 3 theorem links
ShiftLIF maps membrane potentials to logarithmically spaced power-of-two spike levels, improving representational capacity in SNNs while keeping synaptic operations multiplier-free.
-
Accelerating Noisy Variational Quantum Algorithms with Physics-Informed Denoising Networks
quant-ph · 2026-05-03 · 3 theorem links
PIDN replaces repeated multi-noise ZNE evaluations with a trained network that denoises expectation values and gradients from noisy data plus history, achieving comparable optimization on quantum models with 4-6x fewer circuits.
-
CoVSpec: Efficient Device-Edge Co-Inference for Vision-Language Models via Speculative Decoding
cs.AI · 2026-05-04 · 3 theorem links
CoVSpec achieves up to 2.21x higher throughput and over 96% lower communication overhead for device-edge VLM inference via training-free visual token reduction, adaptive drafting, and decoupled parallel verification-correction in speculative decoding.
-
SpecKV: Adaptive Speculative Decoding with Compression-Aware Gamma Selection
cs.LG · 2026-05-04 · 3 theorem links
SpecKV uses a small MLP trained on draft model confidence and entropy to dynamically choose the optimal speculation length gamma, achieving 56% better performance than fixed gamma=4 across various tasks and compression levels.
-
Multiscale computational approaches to magnetic behaviour in Cobalt Ferrite (CoFe$_2$O$_4$) nanostructures
cond-mat.mtrl-sci · 2026-05-03 · 3 theorem links
A multiscale modeling framework integrates DFT+U, Heisenberg spin models, Monte Carlo and micromagnetic simulations to predict size-dependent magnetic behavior in CoFe2O4 nanostructures.
-
An explainable hypothesis-driven approach to Drug-Induced Liver Injury with HADES
cs.AI · 2026-05-04 · 3 theorem links
HADES is an agentic AI system that generates mechanistic hypotheses for drug-induced liver injury using molecular, metabolite, and pathway evidence, outperforming prior binary classifiers on the new DILER benchmark while establishing a baseline for hypothesis alignment.
-
Entanglement-Enhanced Information Dynamics in Triple-Coin Discrete-Time Quantum Walks
quant-ph · 2026-05-04 · 3 theorem links
Initial tripartite entanglement in a triple-coin discrete-time quantum walk accelerates mutual information growth between coin and position, yielding up to 18% higher values by step 10 for GHZ states versus separable initials.
-
A constructive approach to generalized principal connections
math-ph · 2026-05-03 · 3 theorem links
Generalized principal bundles include all Lie group fiber bundles via new coordinate transformation laws, with connections characterized by horizontal lifts that reduce to standard principal connections in usual cases.
-
Galaxy luminosity functions from far-UV to submillimetre at $z=0$ in the COLIBRE simulations
astro-ph.GA · 2026-05-03 · 3 theorem links
COLIBRE simulations with SKIRT post-processing match observed galaxy luminosity functions from FUV to submm at z=0, except underpredicting bright mid-IR galaxies.
-
ContextualJailbreak: Evolutionary Red-Teaming via Simulated Conversational Priming
cs.CL · 2026-05-04 · 3 theorem links
ContextualJailbreak uses evolutionary search over simulated primed dialogues with novel mutations to reach 90-100% attack success on open LLMs and transfers to some closed frontier models at 15-90% rates.
-
Perturbation Dose Responses in Recursive LLM Loops: Raw Switching, Stochastic Floors, and Persistent Escape under Append, Replace, and Dialog Updates
cs.AI · 2026-05-04 · 3 theorem links
In 30-step recursive LLM loops, append-mode persistent escape from source basins reaches 50% near 400 tokens under full history but plateaus below 50% under tail-clip memory policy, while replace-mode switching largely reflects state reset.
-
UnGAP: Uncertainty-Guided Affine Prompting for Real-Time Crack Segmentation
cs.CV · 2026-05-04 · 3 theorem links
UnGAP turns aleatoric uncertainty into an active calibration signal via affine feature modulation to fix gradient suppression in heteroscedastic crack segmentation while maintaining real-time performance.
-
Functional Renormalization Group for a Rank-4 Renormalizable Tensorial Group Field Theory with Derivative Necklace Couplings
hep-th · 2026-05-04 · 3 theorem links
A nontrivial ultraviolet fixed point emerges in the functional renormalization group analysis of a rank-4 tensorial group field theory with derivative necklace couplings.
-
Bucketing the Good Apples: A Method for Diagnosing and Improving Causal Abstraction
cs.AI · 2026-05-04 · 3 theorem links
A four-step recipe partitions the input space using interchange intervention behavior to diagnose where causal abstractions hold and to guide improvements, demonstrated by recovering a full hypothesis from scratch in a toy logic task.
-
Bondi and Novikov-Thorne accretion in regular black holes and Simpson-Visser spacetimes
gr-qc · 2026-05-04 · 3 theorem links
The Bondi spherical accretion model is significantly more sensitive to spacetime geometry and fluid equation of state than the Novikov-Thorne thin disk model, making it better at distinguishing regular black holes from classical ones.
-
Designing a Satellite Serviced Quantum Network Backbone for Concurrent Global Connectivity
quant-ph · 2026-05-04 · 3 theorem links
Simulations identify anisotropic ground stations, multi-inclination LEO orbits, and multi-party service policies as key to achieving concurrent global quantum connectivity with acceptable latency and link strength.
-
An analytic approach to the finite R-transform
math.PR · 2026-05-03 · 3 theorem links
The finite R-transform of a polynomial differs from the Voiculescu R-transform of its empirical root distribution by O(N^{-1}), providing an analytic proof that finite free additive convolution converges to free additive convolution.
-
Genealogical structures under interactive neutral reproduction: factorial moment duality via a Frankenstein process
math.PR · 2026-05-04 · 3 theorem links
A Frankenstein process obtained by simplifying the ancestral influence graph establishes factorial moment duality for a Moran model with interactive neutral reproduction.
-
Volumetric density estimates for nonlocal minimal surfaces
math.AP · 2026-05-04 · 3 theorem links
Viscosity subsolutions to nonlocal mean curvature-type equations satisfy universal volumetric estimates at all scales, and low-density ones necessarily have topological boundaries with positive Lebesgue measure.
-
Mixed-Precision Information Bottlenecks for On-Device Trait-State Disentanglement in Bipolar Agitation Detection
cs.LG · 2026-05-04 · 3 theorem links
MP-IB uses an 8x information asymmetry via FP16 trait heads and INT4 state heads to disentangle speaker identity from agitation in voice biomarkers, outperforming larger models on edge devices with low latency and suppressed identity leakage.
-
Deep Speckle Holography Redefines Label-free Nanoparticle Phenotyping
eess.IV · 2026-05-03 · 3 theorem links
Deep speckle holography enables simultaneous label-free profiling of nanoparticle identity, size, morphology, and species-resolved abundance from a single non-contact optical measurement in mixed and native fluids.
-
Efficient generation of Gaussian random fields on metric graphs via domain decomposition and mass matrix lumping
math.NA · 2026-05-04 · 3 theorem links
Neumann-Neumann decomposition plus mass lumping enables fast sampling of Gaussian random fields on metric graphs while preserving theoretical convergence rates of the underlying finite-element scheme.
-
MPCS: Neuroplastic Continual Learning via Multi-Component Plasticity and Topology-Aware EWC
cs.LG · 2026-05-04 · 3 theorem links
MPCS integrates eleven plasticity mechanisms and reaches a Normalized Efficiency Score of 94.2 on a 31-task benchmark, with ablations showing that removing EWC and Hebbian updates yields higher performance at lower cost.
-
Mobility Anisotropy Reshapes Self-Propelled Motion
cond-mat.stat-mech · 2026-05-04 · 3 theorem links
Exact solution for anisotropic mobility in trapped self-propelled particles yields non-monotonic negative excess kurtosis and a strictly sub-Gaussian steady-state distribution that displaces the particle into high-potential regions.
-
A Calabi-Yau Metric on the Kummer Surface
math.DG · 2026-05-03 · 3 theorem links
A Ricci-flat metric exists on the Kummer K3 surface, established via a modified Donaldson's gluing construction that avoids weighted norms and uses only compact elliptic theory.
-
Generation of heat pulses in mesoscopic conductors using light fields
cond-mat.mes-hall · 2026-05-04 · 3 theorem links
Light fields can induce controllable time-dependent temperatures in electrodes to generate and detect charge-neutral heat pulses in mesoscopic conductors.
-
MIRA: A Score for Conditional Distribution Accuracy and Model Comparison
stat.ML · 2026-05-03 · 3 theorem links
MIRA is a new analytic score for conditional distribution accuracy derived from equal probability mass assignment, enabling Bayesian model comparison via direct posterior validation.
-
Relativistic Feshbach-Villars Equation for Two Spin-$0$ Particles
nucl-th · 2026-05-04 · 3 theorem links
Extends the Feshbach-Villars equation to two spin-0 particles with center-of-mass separation, yielding a relative-coordinate form.
-
Hierarchical Cooperative MARL for Joint Downlink PRB and Power Allocation in a 5G System
cs.NI · 2026-05-04 · 3 theorem links
A hierarchical cooperative MARL framework with three-phase curriculum training improves cell throughput over proportional-fair scheduling in simulated 5G PRB and power allocation while preserving most fairness.
-
WorldJen: An End-to-End Multi-Dimensional Benchmark for Generative Video Models
cs.CV · 2026-05-05 · 3 theorem links
WorldJen is a new benchmark for generative video models that uses VLM-judged multi-dimensional Likert questionnaires validated against human preferences to achieve perfect tier agreement.
-
Information in Many-body Eigenstates: A Question of Learnability
quant-ph · 2026-05-04 · 3 theorem links
Machine learning reconstruction accuracy is substantially higher for spectral-edge eigenstates than for mid-spectrum eigenstates, providing a new quantitative measure of information content in many-body quantum states.
-
Temporal State Tomography via Quantum Snapshotting the Temporal Quasiprobabilities
quant-ph · 2026-05-04 · 3 theorem links
Temporal state tomography reconstructs multi-time quantum processes from temporal quasiprobability distributions via a Bloch-type representation and derives the associated sample complexity.
-
SNNF: An SNN-based Near-Sensor Noise Filter for Dynamic Vision Sensors
cs.NE · 2026-05-03 · 3 theorem links
SNNF uses an event-based binary image and single-layer SNN to achieve 0.89 AUC in distinguishing signal from noise in DVS while using only 11-40% of the resources of prior filters.
-
Active multiple matrix completion with adaptive confidence sets
stat.ML · 2026-05-04 · 3 theorem links
MAlocate adapts to unknown ranks across multiple matrices of different sizes and achieves minimax optimality in active multi-matrix completion.
-
Gaussian-weighted normal operators on Euclidean space
math.AP · 2026-05-04 · 3 theorem links
Eigenfunctions of the Gaussian-weighted X-ray normal operator are joint eigenfunctions of the harmonic oscillator and spherical Laplacian, with spectrum related to 1-cusp elliptic pseudodifferential operators.
-
First-Principles Effective Mass in the Three-Dimensional Uniform Electron Gas
cond-mat.str-el · 2026-05-04 · 3 theorem links
The effective mass ratio m*/m in the 3D uniform electron gas stays close to 1 with only shallow non-monotonic density dependence up to r_s=6.
-
The Impact of the Magnetised Cosmic Web on Ultra High Energy Cosmic Ray Propagation
astro-ph.HE · 2026-05-04 · 3 theorem links
Magnetized cosmic web filaments suppress UHECR proton flux below 3×10^19 eV, producing magnetic horizon radii of ~50 Mpc at 10^18 eV and ~150 Mpc at 10^19 eV.
-
Evaluating Tabular Representation Learning for Network Intrusion Detection
cs.LG · 2026-05-04 · 3 theorem links
Tabular representation learning for network intrusion detection exhibits strong dataset-model dependency, with supervised methods outperforming unsupervised anomaly detection and limited but possible cross-dataset generalization.
-
Non-variational scalar field cosmology: Exact Bianchi I solutions for near-minimal scalar fields
gr-qc · 2026-05-03 · 3 theorem links
Four new exact Bianchi I solutions in a non-variational scalar field model produce Big Bang, Big Crunch, Big Rip, and cyclic behaviors, with stability to inhomogeneous perturbations depending on singularity type.
-
Engineering THz-frequency light generation, detection and manipulation through graphene
cond-mat.mes-hall · 2026-05-04 · 3 theorem links
Graphene's high conductivity, fast carrier dynamics, and tunability enable engineering of THz-frequency photodetectors, modulators, and sources.
-
Lattice Realization of Twist Defects in a $\mathbb{Z}_2\times \mathbb{Z}_2$ Topological Order
cond-mat.str-el · 2026-05-03 · 3 theorem links
A concrete lattice construction of twist defects realizes anyon-permuting symmetries and non-Abelian fusion in double toric code topological order.
-
Fuzzy Fingerprinting Encoder Pre-trained Language Models for Emotion Recognition in Conversations: Human Assessment and Validity Study
cs.CL · 2026-05-04 · 3 theorem links
Fuzzy fingerprints derived from PLM embeddings serve as interpretable emotion prototypes that reduce neutral overclassification in ERC while maintaining state-of-the-art performance and aligning with human judgments.
-
Risk-Budgeted Online Scheduling for Continuous Edge Inference over Evolving Time Horizons
cs.NI · 2026-05-04 · 3 theorem links
AEGIS introduces risk-budgeted online scheduling with LSTM prediction and game-theoretic allocation to improve timely inference ratios and reduce violation bursts in continuous edge computing.
-
Change-Robust Online Spatial-Semantic Topological Mapping
cs.RO · 2026-05-04 · 3 theorem links
CROSS replaces globally consistent metric maps with a pose-aware topological graph of RGB-D keyframes and maintains a bounded Gaussian-mixture belief over poses via sequential hypothesis testing in SE(3) to achieve change-robust spatial-semantic mapping and navigation.
-
Metastable MnBi$_2$Te$_4$ enabled by magnetic-field-assisted synthesis
cond-mat.mtrl-sci · 2026-05-04 · 3 theorem links
Magnetic-field-assisted growth stabilizes a metastable ferromagnetic phase in MnBi2Te4 with Tc of approximately 12.5 K.
-
Description and error analysis of quantum alghorithms in the projection evolution model -- the Deutsch algorithm case
quant-ph · 2026-05-04 · 3 theorem links
The Deutsch algorithm is modeled using a two-level harmonic oscillator in second quantization formalism, with derived evolution operators and a projection evolution model that describes quantum gate transformations including projection errors.
-
Manifold-Constrained Adversarial Training for Long-Tailed Robustness via Geometric Alignment
cs.LG · 2026-05-04 · 3 theorem links
MCAT improves adversarial robustness on long-tailed datasets by constraining examples to class manifolds and enforcing balanced geometric separation.
-
TCD-Arena: Assessing Robustness of Time Series Causal Discovery Methods Against Assumption Violations
cs.LG · 2026-05-04 · 3 theorem links
TCD-Arena is a new customizable testing framework that runs millions of experiments to map how 33 different assumption violations affect time series causal discovery methods and shows ensembles can boost overall robustness.
-
A programmable stellarator-tokamak hybrid for million-scale magnetic-configuration discovery
physics.plasm-ph · 2026-05-05 · 3 theorem links
A fixed-coil stellarator-tokamak hybrid with 288 programmable dipoles and six geometries can generate more than 1.66 million optimized magnetic configurations spanning multiple symmetry classes.
-
Morphological and Star Formation Properties of Cosmic Noon Massive Quiescent Galaxies
astro-ph.GA · 2026-05-04 · 3 theorem links
Massive quiescent galaxies at cosmic noon are compact and bulge-dominated with inside-out quenching, where inner regions formed stars ~0.5 Gyr earlier and quenched faster than outskirts.
-
Neural Generative Distributional Regression
stat.ME · 2026-05-03 · 3 theorem links
A neural estimator for the generative map g in Y = g(X, U) is obtained by minimizing empirical energy distance between observed and generated distributions, attaining adaptive nonparametric rates.
-
Learning Temporal Patterns in Financial Time Series: A Comparative Study of Quantum LSTM and Quantum Reservoir Computing
quant-ph · 2026-05-04 · 3 theorem links
Quantum LSTM and quantum reservoir computing match classical baselines in univariate financial forecasting and modestly outperform them in multivariate cases with correlated inputs when using suitable lag structures and amplitude encoding.
-
Closed form logical error rate approximations for surface codes
quant-ph · 2026-05-04 · 3 theorem links
Symmetry counting of error configurations yields closed-form approximations for logical error rates in surface codes.
-
On weak solutions for the stationary Cahn-Hillard-Navier-Stokes equations with singular potential
math.AP · 2026-05-04 · 3 theorem links
Existence of weak solutions is shown for the stationary NS-CH equations with singular potential that permits vacuum states.
-
Adjusting the left-handedness in a cold $^{87}$Rb atom via multiple parameter modulation
quant-ph · 2026-05-04 · 3 theorem links
Left-handedness in a cold 87Rb atomic system is adjusted by modulating atom number density, coupling field intensity, and two incoherent pumping fields.
-
Effects of interface regularity on the bulk-edge correspondence in continuum photonic systems
physics.optics · 2026-05-03 · 3 theorem links
Continuous variation of magnetic bias across finite-width interfaces in continuum photonic systems preserves bulk-edge correspondence via Chern invariants, while discontinuities create localized edge modes that necessitate an anomalous bulk-edge correspondence.