LFU:online

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

Vorlesungen

schriftliche Prüfung

Wird im Kurs bekannt gegeben

Keine

Beginn: siehe Termine