TY  - RPRT
TI  - Peano: Learning Formal Mathematical Reasoning
AU  - Gabriel Poesia
AU  - Noah D. Goodman
PY  - 2022
DO  - 10.1098/rsta.2022.0044
UR  - https://arxiv.org/abs/2211.15864
ID  - 2211.15864
ER  -