@misc{indiciae0363d2ba92b9,
  title = {Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4},
  author = {Chengwu Liu and Yichun Yin and Ye Yuan and Jiaxuan Xie and Botao Li and Siqi Li and Jianhao Shen and Yan Xu and Lifeng Shang and Ming Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2604.15839},
  note = {Source identifier: 2604.15839}
}