{"article":{"@attributes":{"key":"journals\/corr\/abs-2503-24036","publtype":"informal","mdate":"2025-04-22"},"author":["Yutong Xin","Jimmy Xin","Gabriel Poesia","Noah D. Goodman","Qiaochu Chen","Isil Dillig"],"title":"Automated Discovery of Tactic Libraries for Interactive Theorem Proving.","year":"2025","month":"March","volume":"abs\/2503.24036","journal":"CoRR","ee":"https:\/\/doi.org\/10.48550\/arXiv.2503.24036","url":"db\/journals\/corr\/corr2503.html#abs-2503-24036","stream":"streams\/journals\/corr"}}