TY  - RPRT
TI  - LemmaHead: RAG Assisted Proof Generation Using Large Language Models
AU  - Tianbo Yang
AU  - Mingqi Yan
AU  - Hongyi Zhao
AU  - Tianshuo Yang
PY  - 2025
UR  - https://arxiv.org/abs/2501.15797
ID  - 2501.15797
ER  -