1.1k citations · 7.8k across the 180 of their papers we have counts for
187 papers
FloatLib: Verified Floating-Point Arithmetic in Lean
Robert Joseph George, Will Adkisson, Anima Anandkumar
We present FloatLib, a verified arbitrary-precision floating-point arithmetic library in Lean 4 that combines broad format coverage, machine-checked correctness, and efficient cert…
ITPEval: Benchmarking Formal Translation Across Interactive Theorem Provers
Jiayi Wu, Robert Joseph George, Anima Anandkumar
Formal theorem proving has emerged as a frontier challenge for machine learning, yet the ecosystem is fragmented: proofs remain siloed across incompatible systems, limiting both tr…
Near-Term Distributed Quantum Computation using Mean-Field Corrections and Auxiliary Qubits
Abigail McClain Gomez, Taylor L. Patti, Anima Anandkumar +1
Distributed quantum computation is often proposed to increase the scalability of quantum hardware, as it reduces cooperative noise and requisite connectivity by sharing quantum inf…
Neural Operators for Accelerating Scientific Simulations and Design
Kamyar Azizzadenesheli, Nikola Kovachki, Zongyi Li +3
Scientific discovery and engineering design are currently limited by the time and cost of physical experiments, selected mostly through trial-and-error and intuition that require d…
Geometry-Informed Neural Operator for Large-Scale 3D PDEs
Zongyi Li, Nikola Borislavov Kovachki, Chris Choy +8
We propose the geometry-informed neural operator (GINO), a highly efficient approach to learning the solution operator of large-scale partial differential equations with varying ge…
Tipping Point Forecasting in Non-Stationary Dynamics on Function Spaces
Miguel Liu-Schiaffini, Clare E. Singer, Nikola Kovachki +4
Tipping points are abrupt, drastic, and often irreversible changes in the evolution of non-stationary and chaotic dynamical systems. For instance, increased greenhouse gas concentr…