Speaker
Sriram Vishwanath
More Information:
Talks at this conference:
| Sat, 11:30 | ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings |
Speaker
| Sat, 11:30 | ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings |