Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
MIT License
37
stars
5
forks
source link
fix observation_to_source throws error if the observation is already proved; fix typo that "training" part has doc saying "k=3, l=3" while command line seems to be "k=5, l=5" #15
Close #14 Close #17