フランス🇫🇷で開催されたAITP 2024に参加し、IsabelleのためのAbduction Proverについて発表しました。

私の発表では、次の3つのポイントを伝えました：
1️⃣ 推論規則「肯定的帰結（Modus Ponens）」を用いた補題の誘導
2️⃣ 仮説形成としてのタクティクス
3️⃣ 木探索からグラフ展開への移行

スライドはこちらからご覧いただけます: https://drive.google.com/file/d/1a_668KQODrTsEyAEUiyoORKO_NZTMdDu/view?usp=share_link

ところで、アメリカ🇺🇸のカーネギーメロン大学の研究室がディープラーニングプロジェクトにTIPベンチマークを採用したことを知りました。TIPユーザーグループを拡大したスウェーデン🇸🇪のMoa Johansson教授とTIPチームにお祝い申し上げます！🥳 

http://tip-org.github.io

AITPが終わり、ケンブリッジ🇬🇧、東京🇯🇵、シンガポール🇸🇬、ナンシー🇫🇷、クタイシ🇬🇪、ドレスデン🇩🇪、プラハ🇨🇿、ボン🇩🇪、そしてオソワ🇫🇷と、移動に忙しい夏が幕を閉じました。😮‍💨

これでやっと研究に集中できます。😎