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/ https://image.nostr.build/7ad13dc5362df104121a0e806ec92a8350b51cd695bbc051305a3e2945d03eca.jpg https://image.nostr.build/93d861a09282009c622da6cc5b1d8abbde8a010bcb7a9048597a73792b33a88f.jpg https://image.nostr.build/3563fb8239c171a8cecebf6bbb9ae3ae460a21835fd0f7f95ad44659b705c222.jpg https://image.nostr.build/bcacb3d1292ead43f48f5bf1c09b450bd034f36ecd9d57d2b441ad18f6917ad9.jpg