some "Autoformalisation"

24 views
Skip to first unread message

Siddhartha Gadgil

unread,
Dec 10, 2022, 10:28:00 AM12/10/22
to automated-mat...@googlegroups.com
Dar All,
        Some stuff I have done with a few others, though the actual work is done by "Codex" (related to GPT-3):

Also a short video is at https://youtu.be/_NMquXd0Qos

leanaide-translation.gif

regards,
Siddhartha
Reply all
Reply to author
Forward
0 new messages