TY  - RPRT
TI  - An In-Context Learning Agent for Formal Theorem-Proving
AU  - Amitayush Thakur
AU  - George Tsoukalas
AU  - Yeming Wen
AU  - Jimmy Xin
AU  - Swarat Chaudhuri
PY  - 2024
UR  - https://arxiv.org/abs/2310.04353
ID  - 2310.04353
ER  -