search

albertqjiang / INT

Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
MIT License
37 stars 6 forks source link

Speed up data generation by parallelization #13

Closed fzyzcjy closed 1 year ago

fzyzcjy commented 1 year ago

Close #12