Writing review for AI for Math - Neuro-Symbolic Auto-Formalization into Lean via Joint Embeddings

Fields Institute

via YouTube

Your review helps other learners like you discover great courses. Only review the course if you have taken or started taking this course.

Cancel