Popular repositories Loading

1. jmlr-research-notes jmlr-research-notes Public

   Research notes, scoped theorem extensions and counterexamples, reproducible checks, and negative results on attention, causal identification, bootstrap inference, sparse topics, kernel solvers, and…

   Lean 1

2. ramanujan-tau-misses-primes ramanujan-tau-misses-primes Public

   Forked from AxiomMath/ramanujan-tau-misses-primes

   Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"

   Lean

3. parameter-golf parameter-golf Public

   Forked from openai/parameter-golf

   Train the smallest LM you can that fits in 16MB. Best model wins!

   Python

4. IMO2026 IMO2026 Public

   Forked from AxiomMath/IMO2026

   Lean

5. formal-conjectures formal-conjectures Public

   Forked from google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   Lean

6. kourovka-20-71 kourovka-20-71 Public

   A connected 9-vertex graph with 4 vertex-deleted card types and 5 automorphism orbits: the k=4 case of Kourovka Notebook Problem 20.71

   Python