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

Pointer representation decoding #2

Closed TomaszOdrzygozdz closed 3 years ago

TomaszOdrzygozdz commented 3 years ago

Add decoding of pointer representation, instruction in README (inside representation folder), and corrected and moved test_representation file with the example.