TY  - RPRT
TI  - Automated Discovery of Tactic Libraries for Interactive Theorem Proving
AU  - Yutong Xin
AU  - Jimmy Xin
AU  - Gabriel Poesia
AU  - Noah Goodman
AU  - Qiaochu Chen
AU  - Isil Dillig
PY  - 2025
UR  - https://arxiv.org/abs/2503.24036
ID  - 2503.24036
ER  -