Jana, Prithwish

2 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

IJCAI 2024 NeuroSymbolic LLM for Mathematical Reasoning and Software Engineering Prithwish Jana