Course page Home page Home page CoursesNew course

AI-assisted formal reasoning: Mathematical Logic course | Zoonk

61. AI-assisted formal reasoning

Examines neural premise selection, proof generation, autoformalization, reinforcement-guided search, and language-model assistance. Learners evaluate generated steps with a trusted checker and identify failure modes such as invalid translation, hidden assumptions, and benchmark leakage.

Mathematical Logic

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc