1 paper
Yiming Fu, Peixuan Liu, Zichen Wang +1
While Large Language Models (LLMs) have shown strong performance in generating formal proofs, their outputs often remain less readable, modular, maintainable, and reusable than pro…