Explore automated proof audits for cutting-edge mathematics.
Search thousands of math.DS and math.GT papers with AI-generated verdicts, confidence levels, and counterexample detection. Dial in filters to surface precisely the results you need.
- Total Results
- 31,095
- Page
- 6 / 778
- Page Size
- 40
Designing Robust Software Sensors for Nonlinear Systems via Neural Networks and Adaptive Sliding Mode Control
Ayoub Farkane, Mohamed Boutayeb, Mustapha Oudani, Mounir Ghogho
wronghigh confidence- arXiv ID
- 2507.06817
- Category
- math.DS
- Journal tier
- specialist/solid
Existence of Solutions and Selection Problem for Quasi-stationary Contact Mean Field Games
Xiaotian Hu
correcthigh confidence- arXiv ID
- 2507.10112
- Category
- math.DS
- Journal tier
- specialist/solid
Ratio limits and pressure function for group extensions of Gibbs Markov maps
Jaime Gomez, Dalia Terhesiu
correctmedium confidence- arXiv ID
- 2507.08186
- Category
- Not specified
- Journal tier
- strong field
Exact renormalisation for patch frequencies in inflation systems
Jan Mazáč
correcthigh confidence- arXiv ID
- 2507.07753
- Category
- Not specified
- Journal tier
- specialist/solid
A classification of global attractors for S^1-equivariant parabolic equations
Carlos Rocha, Bernold Fiedler, Alejandro López-Nieto
correctmedium confidence- arXiv ID
- 2507.10051
- Category
- math.DS
- Journal tier
- specialist/solid
TEMPERATURE INDUCED TIPPING IN A TWO BOX OCEAN CIRCULATION MODEL
Jasmine Noory
incompletemedium confidence- arXiv ID
- 2507.07078
- Category
- Not specified
- Journal tier
- specialist/solid
An Improved Autoencoder Conjugacy Network to Learn Chaotic Maps
Meagan Carney, Cecilia González-Tokman, Ruethaichanok Kardkasem, Hongkun Zhang
incompletehigh confidence- arXiv ID
- 2507.09835
- Category
- math.DS
- Journal tier
- strong field
Bayesian Generalized Nonlinear Models Offer Basis Free SINDy With Model Uncertainty
Aliaksandr Hubin
incompletemedium confidence- arXiv ID
- 2507.06776
- Category
- Not specified
- Journal tier
- note/short/other
PINN-Obs: Physics-Informed Neural Network-Based Observer for Nonlinear Dynamical Systems
Ayoub Farkane, Mohamed Boutayeb, Mustapha Oudani, Mounir Ghogho
incompletemedium confidence- arXiv ID
- 2507.06712
- Category
- Not specified
- Journal tier
- specialist/solid
A Dynamical Systems Perspective on the Analysis of Neural Networks
Dennis Chemnitz, Maximilian Engel, Christian Kuehn, Sara-Viola Kuntz
correctmedium confidence- arXiv ID
- 2507.05164
- Category
- Not specified
- Journal tier
- specialist/solid
The Bilinear Hilbert–Carleson operator along curves. The purely non-zero curvature case
Árpád Bényi, Bingyang Hu, Victor Lie
correcthigh confidence- arXiv ID
- 2507.04467
- Category
- math.DS
- Journal tier
- top field-leading
Twisted Diophantine approximation on manifolds
Victor Beresnevich, David Simmons, Sanju Velani
correctmedium confidence- arXiv ID
- 2507.04405
- Category
- math.DS
- Journal tier
- strong field
The problem of infinite spin for parabolic and collision solutions in the planar n-body problem
Zhe Wang, Guowei Yu
correctmedium confidence- arXiv ID
- 2507.05801
- Category
- Not specified
- Journal tier
- strong field
Generative Lagrangian data assimilation for ocean dynamics under extreme sparsity
Niloofar Asefi, Leonard Lupin-Jimenez, Tianning Wu, Ruoying He, Ashesh Chattopadhyay
incompletemedium confidence- arXiv ID
- 2507.06479
- Category
- Not specified
- Journal tier
- strong field
Moment formulas of Siegel transforms with congruence conditions in dimension 2
Jiyoung Han, Seulbee Lee
correctmedium confidence- arXiv ID
- math.DS/2507.05905
- Category
- math.DS
- Journal tier
- Not assigned
Application of operator inference to reduced-order modeling of constrained mechanical systems
Peter Benner, Yevgeniya Filanova, Igor Pontes Duff, Jens Saak
incompletehigh confidence- arXiv ID
- 2507.05472
- Category
- Not specified
- Journal tier
- specialist/solid
Limit theorems for toral partially hyperbolic endomorphisms
Roberto Castorrini, Kasun Fernando
correctmedium confidence- arXiv ID
- 2507.05959
- Category
- Not specified
- Journal tier
- strong field
Rational maps with constant Thurston pullback mapping
Guizhen Cui, Yiran Wang
correcthigh confidence- arXiv ID
- 2507.04215
- Category
- Not specified
- Journal tier
- strong field
On ball expanding maps
Noriaki Kawaguchi
wrongmedium confidenceCounterexample- arXiv ID
- 2507.04744
- Category
- math.DS
- Journal tier
- specialist/solid
Profinite geometric iterated monodromy groups of postcritically finite polynomials in degree 3
Mikhail Hlushchanka, Olga Lukina, Dean Wardell
correctmedium confidence- arXiv ID
- 2507.05033
- Category
- math.DS
- Journal tier
- strong field
Retrodicting Chaotic Systems: An Algorithmic Information Theory Approach
Kamal Dingle, Boumediene Hamzi, Marcus Hutter, Houman Owhadi
correcthigh confidence- arXiv ID
- 2507.04780
- Category
- math.DS
- Journal tier
- specialist/solid
Beyond the stability
Majid Akbarian
incompletemedium confidence- arXiv ID
- 2507.04718
- Category
- Not specified
- Journal tier
- note/short/other
Growth of generalized greatest common divisors along orbits of self-rational maps on projective varieties
Yohsuke Matsuzawa
correctmedium confidence- arXiv ID
- 2507.05027
- Category
- Not specified
- Journal tier
- specialist/solid
Effective Gaps between Singular Values of Non-Stationary Matrix Products Subject to Non-Degenerate Noise
Sam Bednarski, Jonathan Dewitt, Anthony Quas
correcthigh confidence- arXiv ID
- 2507.04058
- Category
- Not specified
- Journal tier
- strong field
Divergence-Kernel Method for Scores of Random Systems
Angxiu Ni
incompletemedium confidence- arXiv ID
- 2507.04035
- Category
- math.DS
- Journal tier
- specialist/solid
A perturbed cellular automaton with two phase transitions for the ergodicity
Hugo Marsan, Mathieu Sablik, Ilkka Törmä
correctmedium confidence- arXiv ID
- 2507.03485
- Category
- Not specified
- Journal tier
- strong field
Existentially Closed Measure-Preserving Actions of Approximately Treeable Groups
Isaac Goldbring, Brandon Seward, Robin Tucker-Drob
correctmedium confidence- arXiv ID
- 2507.03195
- Category
- math.DS
- Journal tier
- strong field
Subordinacy Theory for Long-Range Operators: Hyperbolic Geodesic Flow Insights and Monotonicity Theory
Zhenfu Wang, Disheng Xu, Qi Zhou
correctmedium confidence- arXiv ID
- 2506.23098
- Category
- Not specified
- Journal tier
- strong field
Coexistence and Extinction in Flow-Kick Systems: An invasion growth rate approach
Sebastian J. Schreiber
correctmedium confidence- arXiv ID
- 2507.02157
- Category
- Not specified
- Journal tier
- strong field
Nonstandard functional central limit theorem for nonuniformly hyperbolic dynamical systems, including Bunimovich stadia
Yuri Lima, Carlos Matheus, Ian Melbourne
correctmedium confidence- arXiv ID
- math.DS/2507.03204
- Category
- math.DS
- Journal tier
- Not assigned
Turbulent Closed Relations
Judy Kennedy, Christopher Mouron, Van Nall
correcthigh confidence- arXiv ID
- 2507.02102
- Category
- math.DS
- Journal tier
- strong field
XPPLORE: Import, visualize, and analyze XPPAUT data in MATLAB
Matteo Martin, Anna Kishida Thomas, G. Bard Ermentrout
incompletemedium confidence- arXiv ID
- 2507.02709
- Category
- Not specified
- Journal tier
- specialist/solid
Curvature Rigidity Through Level Sets of Lyapunov Exponents in Geodesic Flows
Sergio Romaña
correctmedium confidence- arXiv ID
- 2507.02482
- Category
- Not specified
- Journal tier
- specialist/solid
Chaoticus: a parallel approach to the computation of chaos indicators
Javier Jiménez-López, José Sáez-Landete, V. J. García-Garrido
correctmedium confidence- arXiv ID
- 2507.00622
- Category
- Not specified
- Journal tier
- specialist/solid
Random dynamical systems for McKean–Vlasov SDEs via rough path theory
Benjamin Gess, Rishabh S. Gvalani, Shanshan Hu
correctmedium confidence- arXiv ID
- 2507.02449
- Category
- Not specified
- Journal tier
- strong field
p-ADIC ALTERNATED JULIA SETS
Rui-Xi Wang
wrongmedium confidenceCounterexample- arXiv ID
- 2507.02133
- Category
- math.DS
- Journal tier
- specialist/solid
Specification in Mahavier Systems via Closed Relations
Iztok Banič, Goran Erceg, Ivan Jelić, Judy Kennedy
correctmedium confidence- arXiv ID
- 2507.01155
- Category
- Not specified
- Journal tier
- specialist/solid
MMP for generalized foliated threefolds of rank one
Mengchu Li
correctmedium confidence- arXiv ID
- 2506.23708
- Category
- math.DS
- Journal tier
- specialist/solid
LOCAL ENTROPY THEORY, COMBINATORICS, AND LOCAL THEORY OF BANACH SPACES
Hanfeng Li, Kairan Liu
correctmedium confidence- arXiv ID
- 2507.03338
- Category
- Not specified
- Journal tier
- strong field
A NOTE ON MULTIVARIATE DIAM MEAN EQUICONTINUITY AND FREQUENT STABILITY
Lino Haupt, Tobias Jäger, Chunlin Liu
correctmedium confidence- arXiv ID
- math.DS/2506.23313
- Category
- math.DS
- Journal tier
- Not assigned