作者位次 #2/6ICLR 2026Poster· General Machine Learning / Representation Learning
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
Prithwish Jana · Kaan Kale · Ahmet Tanriverdi · Cruise Song · Sriram Vishwanath · Vijay Ganesh
可解释性OpenReview