- Distortion of countably branching diamonds from midpoint and tree energies
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.FAAI-generatedLeanscore 0
- Edit Distance in l1: Matching Bounds up to Constants in the Exponent
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.MGAI-generatedscore 0
- Entanglement with zero distillable secret key in local dimension ten
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.MPAI-generatedscore 0
- Equality and rigidity in the spacetime Penrose inequality
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.MPAI-generatedscore 0
- Exact asymptotic moduli in a Daugavet subspace of L1
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.FAAI-generatedLeanscore 0
- Finite angular cylinder covers below the half-area bound
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.MGAI-generatedscore 0
- Finite-Circle Obstructions, Binary Codes, and Histogram Embeddings for Edit Distance
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.MGAI-generatedscore 0
- Finite cylinder approximation of ruled sets
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.MGAI-generatedscore 0
- Finite Instructions and Solenoidal Shear Flows
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.APAI-generatedscore 0 · 🔥 1 post
- Finite triangular approximation of radial sweeps
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.MGAI-generatedscore 0
- Fourfold nonvanishing by minimal metrics and moving jets
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.AGAI-generatedscore 0
- Full support of the zero-temperature Sherrington-Kirkpatrick order parameter
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.MPAI-generatedscore 0
- Geometric Programs for Solenoidal Forcing
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.APAI-generatedscore 0 · 🔥 1 post
- Independent products in real L1: asymptotic midpoint convexity without AUC renormings
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.FAAI-generatedLeanscore 0
- Invariant-projection counterexamples for every irrational rotation
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.OAAI-generatedscore 0
- Lifting sections from the reduced support of an adjoint
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.AGAI-generatedscore 0
- Localization costs and information growth for exact Gaussian observations
OpenAI
OpenAI MathSource: github.comSep 27, 2026cs.CCAI-generatedscore 0
- Memory and precision in noiseless Gaussian regression
OpenAI
OpenAI MathSource: github.comSep 27, 2026cs.CCAI-generatedLeanscore 0
- Midpoint convexity from bounded tree potentials and path costs
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.FAAI-generatedLeanscore 0
- Midpoint convexity from two recursive potentials
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.FAAI-generatedLeanscore 0
- Midpoint lenses in segment spaces
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.FAAI-generatedLeanscore 0
- Minimal metrics and interior injectivity for nef adjoints
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.AGAI-generatedscore 0 · 🔥 1 post
- Posterior replicas and conditional information in Gaussian regression
OpenAI
OpenAI MathSource: github.comSep 27, 2026cs.CCAI-generatedLeanscore 0
- Prefix Instructions and Incompressible Flows
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.APAI-generatedscore 0 · 🔥 1 post
- Projection moments, positive cap domination, and Riesz estimates on the sphere
OpenAI
OpenAI MathSource: github.comSep 27, 2026cs.CCAI-generatedLeanscore 0
- Projective Hodge lines and ordinary Iitaka subadditivity
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.AGAI-generatedscore 0
- Relative denominators and effective systems for log Calabi-Yau fibrations
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.AGAI-generatedscore 0
- Replacing Gaussian observations in memory-constrained inference
OpenAI
OpenAI MathSource: github.comSep 27, 2026cs.CCAI-generatedLeanscore 0
- Scalar Potentials and Slow Clocks for Forced Fluid Computation
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.APAI-generatedscore 0 · 🔥 1 post
- Slope-field perturbations of the two-cylinder covering
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.MGAI-generatedscore 0
- Subsphere methods for memory-sample lower bounds in noiseless Gaussian regression
OpenAI
OpenAI MathSource: github.comSep 27, 2026cs.CCAI-generatedLeanscore 0
- The height-three chromatic overlap: an explicit filtration and its attachments
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.GTAI-generatedscore 0
- The spacetime Penrose inequality and enclosing area
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.MPAI-generatedscore 0 · 🔥 1 post
- Tree Constructions for the l1 Distortion of Binary Edit Distance
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.MGAI-generatedscore 0
- Universal Computation with Eventually Stationary Navier–Stokes Forcing
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.APAI-generatedscore 0 · 🔥 1 post
- Variance of the Random k-SAT Hitting Time
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.PRAI-generatedscore 0
- Velocity-Field Detection of Computation in Forced Navier–Stokes Flows
OpenAI
OpenAI MathSource: github.comSep 27, 2026math.APAI-generatedscore 0 · 🔥 1 post
- Uniform Minor-Arc Cancellation for Primes at the X^{2/15+ε} Scale
Conor Grogan
Palomar RegistrySource: github.comSep 27, 2026math.NTmachine-checkedscore 0
- Corvaja–Zannier 2004: rational approximations to the powers of an algebraic number
Ralf Stephan
Palomar RegistrySource: github.comSep 27, 2026math.NTmachine-checkedscore 0
- Equivalence of the RAF abundance conjecture and Frankl's union-closed sets conjecture
Michael Mislan
Palomar RegistrySource: github.comSep 27, 2026math.COmachine-checkedscore 0
- Zero forcing number of the generalized Petersen graphs P(n,3)
John Fairfax-Ball
Palomar RegistrySource: github.comSep 27, 2026math.COmachine-checkedscore 0
- The Four Color Theorem (Lean 4 port of Gonthier's Coq proof)
Robert D. Barish
Palomar RegistrySource: github.comSep 27, 2026math.COmachine-checkedscore 0
- Péterfalvi's Problem for p = 3: No Group Satisfies Hypothesis (B)
Yawara Ishida
Palomar RegistrySource: github.comSep 27, 2026math.GRmachine-checkedscore 0
- Lens Space Surgeries and the Bleiler-Litherland Conjecture
Qilong Guo
arXivSource: arxiv.orgSep 26, 2026math.GTscore 0
- Local Determinant Defects and Low-Energy Subspace Stability in Semifinite von Neumann Algebras
Seyed Mahmoud Manjegani
arXivSource: arxiv.orgSep 26, 2026math-phscore 0
- Learning Scattering Amplitudes with Transformer Reinforcement Learning
Philip Velie, Tianji Cai, Piyush Jha, Vijay Ganesh, Aishik Ghosh
arXivSource: arxiv.orgSep 26, 2026hep-thscore 0
- Particles, Localization and "Collapse"
Anthony Rizzi
arXivSource: arxiv.orgSep 26, 2026quant-phscore 0
- Conductors and Quadratic base change
Siddharth Ramakrishnan Cherukara
arXivSource: arxiv.orgSep 26, 2026math.NTscore 0
- Classification of $U(\mathfrak h)$-Free Modules over the Heisenberg-Virasoro type Lie superalgebra via Polynomial Shift Operators
Yan Kong, Haibo Chen, Yucai Su
arXivSource: arxiv.orgSep 26, 2026math.RTscore 0
- A merged-cell discontinuous Galerkin method for scalar conservation laws on curved domains
Yong Liu
arXivSource: arxiv.orgSep 26, 2026math.NAscore 0