TY  - RPRT
TI  - LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions
AU  - Zhening Li
AU  - Gabriel Poesia
AU  - Omar Costilla-Reyes
AU  - Noah Goodman
AU  - Armando Solar-Lezama
PY  - 2022
UR  - https://arxiv.org/abs/2211.08671
ID  - 2211.08671
ER  -