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 #12

Closed fzyzcjy closed 1 year ago