🌐 Multilingual & Translation

🧪 ICML2025 · 1 paper notes

📌 Same area in other venues: 🔬 ICLR2026 (8) · 💬 ACL2026 (64) · 🧪 ICML2026 (3) · 🤖 AAAI2026 (9) · 🧠 NeurIPS2025 (11) · 📹 ICCV2025 (1)

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

Proposed an intermediate representation based on assertional logic, called Knowledge Equation (KE), to achieve rule-based translation from natural language mathematical statements to multiple formal languages (Lean4/Coq/Isabelle), achieving an 88.9% pass@1 syntax accuracy on MiniF2F and outperforming DeepSeek-V3 and Herald.