Mathematical AI Comparison Hub

3 papers - avg viability 5.7

Reference Surfaces

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics(7.0)
Numina-Lean-Agent provides an open-source, flexible agentic reasoning system for formal mathematics, capable of solving complex problems without retraining models.
Topological DeepONets and a generalization of the Chen-Chen operator approximation theorem(2.0)
This paper explores a theoretical extension of DeepONets for approximating nonlinear operators in function spaces.