search

albertqjiang / INT

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

Refactor: Configure GitHub CI #7

Open fzyzcjy opened 1 year ago