イベントカレンダー

数理・計算科学系 談話会 Cezary Kaliszyk 特任准教授

  • RSS

日程
2019年6月12日(水)
時間
10:30〜12:00
場所
西8号館 W棟 10階 1008 コラボレーションルーム
講師
Cezary Kaliszyk 特任准教授 (インスブルック大学,東京工業大学)

題目: Machine Learning Problems in Theorem Proving

概要:
As formalization becomes a more accepted means of establishing
correctness of mathematical theories, the usability of proof
assistants and the automation level which they provide becomes more
important. In this talk I will discuss various automated reasoning
tasks that give rise to machine learning problems. First, I will
present heuristic search for related mathematical knowledge. Next, we
will look at the choice of the optimal strategies for proof automation.
We will continue with internal guidance, the prediction of the actual
inference rules to apply at a given proof step. Finally we will look
at conjecture and intermediate lemma generation.

更新日:2019.06.10

  • RSS

ページのトップへ

CLOSE

※ 東工大の教育に関連するWebサイトの構成です。

CLOSE