Blog on LeanAide

[Siddhartha Gadgil]

I have posted a blog http://localhost:1313/automating-mathematics/posts/leanaide-autoformalization/ on what has been my main work for a couple of years. Much of the blog was written by Gemini's new model from a talk (included there).

best,

Siddhartha

[Siddhartha Gadgil]

Sorry, I shared the local link. The correct link is https://siddhartha-gadgil.github.io/automating-mathematics/posts/leanaide-autoformalization/

On Sun, 16 Feb 2025 at 18:57, Divakaran Divakaran <divakaran...@gmail.com> wrote:

Dear Siddhartha,

I can’t open this link. Could you please check it again?

Best,

Divakaran

--
You received this message because you are subscribed to the Google Groups "Automated Mathematics India" group.
To unsubscribe from this group and stop receiving emails from it, send an email to automated-mathemati...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/automated-mathematics-india/CAEqHudpY8ir5Zvg9a4YKDjs8g4aPdruWYwRyNeqxNu83wFVm8g%40mail.gmail.com.