Enhancing Language Model Reasoning via Weighted Reasoning in Self-Consistency. - Tim Knappe; Ryan Li; Ayush Chauhan; Kaylee Chhua; Kevin Zhu; Sean O'Brien (CoRR, 2024)

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