2 papers
cs.LO2026
VeriPIE: Checkable Query Plans and Evidence-Guided Selection for Text-to-SQL
Piyush Jha, Cruise Song, Zhengyu Li +1
Financial Artificial Intelligence (AI) governance and model risk management (MRM) emphasize independent validation, transparency, and effective challenge of AI-generated computatio…
cs.LO2025
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
Prithwish Jana, Kaan Kale, Ahmet Ege Tanriverdi +3
Translating human-written mathematical theorems and proofs from natural language (NL) into formal languages (FLs) like Lean 4 has long been a significant challenge for AI. Most sta…