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

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

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

皆さんは研究を要約するのにAIツールを使っていますか？ https://image.nostr.build/b44296f27cbc2a00ca147b1f238e919ce2da61f5ea91a3e8f0a3db1635e8f9de.png https://image.nostr.build/1c82868cb55ee31f683b419812702d2b6b6c2243b6c27432c02c595733864aa9.png https://image.nostr.build/00765a2e0f3dcefa5b27ad45c4533f2899a86ae41e9fa5151f9516e4157be885.png https://image.nostr.build/1d62d00e78b56be193158b7cdaa465ecf63d3290e33bc784c5a9162a8a8083b0.png