ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings - Explained Simply | ArXiv Explained