2 papers
cs.LG2026
Internalizing Geometric Law: Learning from Solver Residuals for Precision-Critical Generation
Rafael Cabral, Pang Zixi, Ziyi Shou +1
Large Language Models frequently hallucinate in precision-critical domains such as technical diagramming and mechanical design, where outputs must satisfy strict geometric constrai…
cs.AI2025
ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
Rafael Cabral, Tuan Manh Do, Xuejun Yu +3
Proof autoformalization, the task of translating natural language theorems and proofs into machine-verifiable code, is a critical step for integrating large language models into ri…