Mapifyを使ってウェブサイトに過去論文の要約を追加しました。

期待上回るまとまり具合。

Isabelle/HOLに関する私のプロジェクトの要約例はこちらです：
https://yutakang.github.io/projects/faster-smarter-induction-for-isabellehol/

皆さんは研究を要約するのにAIツールを使っていますか？