分野別セミナー

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving

その他

開催期間

2025.8.1(金)
15:00 ~ 16:30

場所

Online via Zoom

講演者

恩田直登 (Project Research Engineer, Research Administrative Division, Omron Sinic X Corporation)

概要

SUURI-COOL (Kyushu) セミナー
https://ithems.riken.jp/ja/events/leanconjecturer-automatic-generation-of-mathematical-conjectures-for-theorem-proving

分野別セミナー一覧

研究活動