Popular repositories Loading

1. Lyapunov Lyapunov Public

   Forked from facebookresearch/Lyapunov

   PyTorch original implementation of "Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers" (NeurIPS 2024).

   Python 12

2. circles_numerics circles_numerics Public

   Forked from albeaik/circles_numerics

   MATLAB

3. lean_exos lean_exos Public

   Lean

4. LIFE-AI LIFE-AI Public

   Python

5. MOPSI_highway MOPSI_highway Public

   Forked from Charles-Auguste/MOPSI_highway

   Python

6. LemmaBench LemmaBench Public

   LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics (https://arxiv.org/html/2602.24173v1)

   Python