Song, Cruise

1 publications

ICLR 2026 ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings Prithwish Jana, Kaan Kale, Ahmet Ege Tanriverdi, Cruise Song, Sriram Vishwanath, Vijay Ganesh