Add pointer representation

albertqjiang / INT

Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving

MIT License

37 stars 6 forks source link

Closed albertqjiang closed 3 years ago