edemaine / author-stack-paper
"Every Author as First Author" paper from SIGTBD 2023, about superimposing author names in a stack
☆105Updated last year
Related projects: ⓘ
- Text-Guided Synthesis of Scientific Vector Graphics with TikZ☆67Updated 3 months ago
- AI for Mathematics (AI4Math) paper list☆124Updated 2 months ago
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆275Updated 11 months ago
- A LaTeX Typesetting Game☆240Updated 4 months ago
- ☆21Updated 2 months ago
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆121Updated 2 weeks ago
- Benchmark for undergraduate-level formal mathematics☆88Updated 3 months ago
- Catalog Of Math Problems Formalized In Lean☆92Updated this week
- ☆16Updated 3 years ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆60Updated 3 months ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆43Updated this week
- ☆163Updated last year
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆30Updated 4 months ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆36Updated last year
- ☆41Updated last year
- Replicating the Illinois letterhead in latex☆40Updated 7 months ago
- Neural Networks and the Chomsky Hierarchy☆183Updated 5 months ago
- ☆34Updated 3 months ago
- ☆34Updated last week
- ☆57Updated 11 months ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆30Updated 4 months ago
- The Lean Theorem Proving Environment☆13Updated last year
- blueprint for prime number theorem and more☆122Updated this week
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆16Updated 3 years ago
- A computer algebra system for research in combinatorial game theory☆31Updated 8 months ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆129Updated 2 weeks ago
- ☆8Updated 7 months ago
- Tutorial on neural theorem proving☆151Updated 8 months ago
- ☆82Updated 10 months ago
- Code that searches for ribbon bands☆10Updated last year