Writing review for Large Language Models and Neural Methods in Autoformalisation - Challenges and Complementary Approaches

Hausdorff Center for Mathematics

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