AI Meets Formal TheoremAI Meets Formal TheoremProvinggenerating Coq proofs.New dataset enhances LLMs forArtificial IntelligenceLeveraging Large Language Models for Coq CodeA new dataset improves LLMs' ability to generate Coq code and proofs.2025-08-27T19:26:18+00:00 ― 7 min read