issues
search
Dahoas
/
EAI4Math
5
stars
1
forks
source link
Experiment with autoformalizing only statements and running expert iteration
#3
Open
Dahoas
opened
2 weeks ago