Formalisations relating to https://mathoverflow.net/q/501066/117945

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

ShinkaEvolve: Towards Open-Ended and Sample-Efficient Program Evolution

Formalization of Harder-Narasimhan theory

Link LMFDB and Lean

Library for studying Cayley graphs and Schreier coset graphs

Gemini 2025 ICPC World Finals Code Submissions

Power series arithmetic in Lean

A backend agnostic modular FHE library over the Torus using bivariate polynomial representation

A Remake / Celebration of the original 'Super Mario Bros.' games. Features new levels, custom modes, new characters, alongside a full level editor / custom level system!

Elden Ring experience for GitHub

A community database for the problems on the erdosproblems.com site

The FATE (Formal Algebra Theorem Evaluation) benchmarks.

Convert PDF to markdown + JSON quickly with high accuracy

A Lean library for Computer Science

A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.

Open-source implementation of AlphaEvolve

Lecture notes and exercises for the 2025 Simons Foundation workshop "Lean for Mathematicians"

Formally Verified Arguments of Knowledge in Lean

Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory

DSPy: The framework for programming—not prompting—language models

Formal to Formal Mathematics Benchmark

High-Performance Symbolic Regression in Python and Julia

[ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach