View of ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings

##article.return## ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings Download Download PDF