2 papers
cs.AI2026
Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts
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…
cs.CE2025
Toward Engineering AGI: Benchmarking the Engineering Design Capabilities of LLMs
Xingang Guo, Yaxin Li, Xiangyi Kong +62
Modern engineering, spanning electrical, mechanical, aerospace, civil, and computer disciplines, stands as a cornerstone of human civilization and the foundation of our society. Ho…