EAI4Math

Goal: Our project will proceed in two phases:

Improve autoformalization of complex informal mathematical statements with a retrieval + library learning approach.
Apply tree-search guided expert iteration strategies on autoformalized statements and theorems to train a strong formal theorem prover.

Meetings

We meet at 1:30 PM EST on Fridays at this link.

Project overleaf: here

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
data		data
README.md		README.md
eval.py		eval.py
get_embeddings.py		get_embeddings.py
infer.py		infer.py
library.py		library.py
math_eval.py		math_eval.py
processing.py		processing.py
prompts.py		prompts.py
requirements.txt		requirements.txt
scratch.ipynb		scratch.ipynb
subgoal_autoformalization.py		subgoal_autoformalization.py
utils.py		utils.py