Stream: Machine learning and automation

Topic: National Academies AI for Math Workshop

view this post on Zulip Talia Ringer (Jun 11 2023 at 21:29):

Sharing here as well: https://coq.zulipchat.com/#narrow/stream/237655-Miscellaneous/topic/National.20Academies.20AI.20for.20Math.20Workshop

view this post on Zulip Talia Ringer (Sep 26 2023 at 21:05):

As a follow-up to the workshop, I have an AI for Math resources document which is open for comments and suggestions (directly on the doc): https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit?usp=sharing

view this post on Zulip Bas Spitters (Sep 27 2023 at 14:29):

@Karl Palmskog likely a good place to show off how big the coq libraries are...

view this post on Zulip grianneau (Oct 20 2023 at 12:35):

The terminology "proof model" is used when LLMs are applied to proof scripts, right?

Last updated: Nov 29 2023 at 21:01 UTC