I've recently started using Mapify to add project summaries to my website.

I'm impressed with how this AI tool summarizes my research papers. 😲

Here's an example of a summary for one of my projects on Isabelle/HOL:

https://yutakang.github.io/projects/faster-smarter-induction-for-isabellehol/