TY  - RPRT
TI  - ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
AU  - Prithwish Jana
AU  - Kaan Kale
AU  - Ahmet Ege Tanriverdi
AU  - Cruise Song
AU  - Sriram Vishwanath
AU  - Vijay Ganesh
PY  - 2026
UR  - https://arxiv.org/abs/2510.15681
ID  - 2510.15681
ER  -