703819 VU Selected Topics in Logic and Learning B: Machine Learning for Theorem Proving
winter semester 2023/2024 | Last update: 18.12.2023 | Place course on memo list703819
VU Selected Topics in Logic and Learning B: Machine Learning for Theorem Proving
VU 3
5
Block
annually
English
Students who have completed this module are familiar with the learning problems in theorem proving, understand the design of automated and interactive theorem proving systems as well as proof certifiers and the various machine learning problems that correspond to the built in heuristics.
high-level learning problems in proof assistants; techniques for the selection of relevant lemmas in large libraries; strategy selection; strategy tuning using learning; internal guidance of automated reasoning systems; prediction of useful inference steps and tactics; evaluation of intermediate proof states
Lectures
Written exam
Announced in the course
None
Begin as announced
see dates
- Faculty of Mathematics, Computer Science and Physics
- Master's Programme Computer Science according to the Curriculum 2021 (120 ECTS-Credits, 4 semesters)
- Bachelor's Programme Computer Science according to the Curriculum 2019 (180 ECTS-Credits, 6 semesters)
- Faculty of Teacher Education
- SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Wed 2023-10-04
|
08.15 - 10.30 | 3W04 3W04 | Barrier-free | |
|
Wed 2023-10-11
|
08.15 - 10.30 | 3W04 3W04 | Barrier-free | |
|
Wed 2023-10-18
|
08.15 - 10.30 | 3W04 3W04 | Barrier-free | |
|
Wed 2023-10-25
|
08.15 - 10.30 | 3W04 3W04 | Barrier-free | |
|
Wed 2023-11-08
|
08.15 - 10.30 | 3W04 3W04 | Barrier-free | |
|
Wed 2023-11-15
|
08.15 - 10.30 | Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) | Barrier-free | |
|
Wed 2023-11-22
|
08.15 - 10.30 | 3W04 3W04 | Barrier-free | |
|
Wed 2023-11-29
|
08.15 - 10.30 | 3W04 3W04 | Barrier-free | |
|
Wed 2023-12-06
|
08.15 - 10.30 | 3W04 3W04 | Barrier-free | |
|
Wed 2023-12-13
|
08.15 - 10.30 | 3W04 3W04 | Barrier-free | |
|
Wed 2024-01-10
|
08.15 - 10.30 | 3W04 3W04 | Barrier-free | |
|
Wed 2024-01-17
|
08.15 - 10.30 | 3W04 3W04 | Barrier-free | |
|
Wed 2024-01-24
|
08.15 - 10.30 | 3W04 3W04 | Barrier-free | |
|
Wed 2024-01-31
|
08.15 - 10.30 | 3W04 3W04 | Barrier-free | |