GeoCert: Certified Geometric AI for Reliable Forecasting
Not on the map. Why?
Abstract (arXiv)
Forecasting systems in science must be accurate, physically consistent, and certifiably reliable. Most existing models address prediction, constraint enforcement, and verification separately, limiting scalability and interpretability. We introduce GeoCert, a geometric AI framework that unifies forecasting, physical reasoning, and formal verification within a single differentiable computation. GeoCert formulates forecasting as evolution along a hyperbolic manifold, where negative curvature induces contraction dynamics, intrinsic robustness, and logarithmic-time certification. A hierarchical constraint architecture separates universal physical laws from domain-specific dynamics, enabling certified generalization across energy, climate, finance, and transportation systems. GeoCert achieves state-of-the-art accuracy while reducing computational cost by 97.5% and maintaining better certification rates. By embedding verification into the geometry of learning, GeoCert transforms forecasting from empirical approximation to formally verified inference, offering a scalable foundation for trustworthy, reproducible, and physically grounded scientific AI.
Key facts. No citing papers in the map yet (data through 7 Oct 2026). Builds on 22 of its 46 references that are in the map. First posted on arXiv 25 Apr 2026.
Builds on
22 of 46 references.
References · 22
- 2017Attention Is All You Needcited by 59,932
- 2018Neural Ordinary Differential Equationscited by 3,733
- 2021Autoformer: Decomposition Transformers with Auto-Correlation for Long-Term Series Forecastingcited by 1,654
- 2022Are Transformers Effective for Time Series Forecasting?cited by 1,400
- 2022FEDformer: Frequency Enhanced Decomposed Transformer for Long-term Series Forecastingcited by 1,200
- 2022TimesNet: Temporal 2D-Variation Modeling for General Time Series Analysiscited by 1,030
- 2023iTransformer: Inverted Transformers Are Effective for Time Series Forecastingcited by 906
- 2017Modeling Long- and Short-Term Temporal Patterns with Deep Neural Networkscited by 869
- 2022Scientific Machine Learning through Physics-Informed Neural Networks: Where we are and What's nextcited by 603
- 2020Time Series Forecasting With Deep Learning: A Surveycited by 457
- 2021SCINet: Time Series Modeling and Forecasting with Sample Convolution and Interactioncited by 335
- 2023Long-term Forecasting with TiDE: Time-series Dense Encodercited by 327
10 more
- 2021Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verificationcited by 224
- 2022FourCastNet: Accelerating Global High-Resolution Weather Forecasting using Adaptive Fourier Neural Operatorscited by 188
- 2020Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifierscited by 183
- 2023A Survey on Graph Neural Networks for Time Series: Forecasting, Classification, Imputation, and Anomaly Detectioncited by 145
- 2020Conformal Prediction: a Unified Review of Theory and New Challengescited by 118
- 2024Is Mamba Effective for Time Series Forecasting?cited by 110
- 2024SiMBA: Simplified Mamba-Based Architecture for Vision and Multivariate Time seriescited by 81
- 2019Neural Dynamics on Complex Networkscited by 38
- 2021Graph Attention Recurrent Neural Networks for Correlated Time Series Forecasting -- Full versioncited by 24
- 2022BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmeticcited by 5
Built on by
Not cited yet.