issues
search
Dahoas
/
EAI4Math
5
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Pull lean server from COPRA
#6
justinchiu-cohere
closed
3 days ago
0
Relevants benchmarks/datasets
#5
Dahoas
opened
1 week ago
1
Infrastructure setup
#4
Dahoas
opened
1 week ago
1
Experiment with autoformalizing only statements and running expert iteration
#3
Dahoas
opened
1 week ago
0
Design the library synthesis framework
#2
Dahoas
opened
1 week ago
1
Replicate Proof-Net retrieval experiments
#1
Dahoas
opened
1 week ago
1