🌐 多语言/翻译

🧪 ICML2025 · 1 篇论文解读

📌 同领域跨会议浏览： 💬 ACL2026 (23) · 📷 CVPR2026 (2) · 🔬 ICLR2026 (7) · 🤖 AAAI2026 (11) · 🧠 NeurIPS2025 (13) · 📹 ICCV2025 (1)

KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment

提出基于断言逻辑的中间表示——知识方程(Knowledge Equation)，实现自然语言数学命题到多种形式语言(Lean4/Coq/Isabelle)的规则化翻译，在 MiniF2F 上 pass@1 句法准确率达 88.9%，超越 DeepSeek-V3 和 Herald。