Tanriverdi, Ahmet Ege
- ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
2025/10/17 by Prithwish Jana, Jana, Prithwish, Kaan Kale +9 · 2 citations
Computer Science · Materials Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning in Materials Science #Mathematics, Computing, and Information Processing