@misc{indiciae51a5e7d1aec4,
  title = {Peano: Learning Formal Mathematical Reasoning},
  author = {Gabriel Poesia and Noah D. Goodman},
  year = {2022},
  doi = {10.1098/rsta.2022.0044},
  url = {https://arxiv.org/abs/2211.15864},
  note = {Source identifier: 2211.15864}
}