@misc{indiciaebd9c80ee0a48,
  title = {An In-Context Learning Agent for Formal Theorem-Proving},
  author = {Amitayush Thakur and George Tsoukalas and Yeming Wen and Jimmy Xin and Swarat Chaudhuri},
  year = {2024},
  url = {https://arxiv.org/abs/2310.04353},
  note = {Source identifier: 2310.04353}
}