Coqpilotを参考に、PSLのレポジトリにもデモGIFを追加。

3Mと重いのが玉に瑕だけど、Abduction Proverの動作が一目瞭然になった気がする。

https://github.com/data61/PSL

#PSL #デモ動画 #AbductionProver

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

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

西ドイツの元首都ボンでTrimester Program: Prospect of Formal Mathematicsに参加してきました。🇩🇪

発表はYouTubeにあげられています：https://www.youtube.com/watch?v=9AlqFnc8QTY

発表資料はこちらから：https://drive.google.com/file/d/12Rm13_UGlXTOCy2NRpWQd1GS5miCF28x/view?usp=sharing

今まで深く考えずにAmazonでKindle用の漫画を買っていたけれど、まんが王国等の日本のサイトで購入すれば３０％引き程度の価格で購入出来たのかぁ。

実際の値引率は時期やポイント購入量にもよるけれど、多くの場合でAmazonで買うよりは安上がりになりそう。👍

Damusでの初めての投稿です！この分散型プラットフォームに参加し、技術分野の皆さんと繋がることを楽しみにしています。定理証明を支援するための人工知能に取り組んでおり、特にプログラミング言語とハードウェアの検証に興味を持っています。ここで有意義な議論や協力を期待しています。🚀