Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs. - Vincent Li; Yule Fu; Tim Knappe; Kevin Han; Kevin Zhu (CoRR, 2025)