Topics:
- National Academies AI for Math Workshop (3 messages, latest: Sep 27 2023 at 14:29)
- Proving things about neural nets (64 messages, latest: Sep 05 2023 at 20:45)
- Chat GPT (43 messages, latest: Jul 18 2023 at 06:30)
- Free access to OpenAI API (3 messages, latest: Jun 15 2023 at 10:37)
- Papers thread (2 messages, latest: Apr 05 2023 at 15:45)
- Learning new tactics and refactoring existing tactics (1 message, latest: Apr 02 2023 at 23:58)
- ML4PG (machine learning for proof general) (5 messages, latest: Mar 28 2023 at 15:03)
- pycoq-egallego (12 messages, latest: Mar 03 2023 at 18:57)
- Automatically generated theorems (4 messages, latest: Feb 14 2023 at 14:15)
- stream events (2 messages, latest: Aug 25 2022 at 11:28)
- Installation of a diverse set of Coq package for ML (3 messages, latest: Aug 23 2022 at 14:29)
- miniF2F (9 messages, latest: May 11 2022 at 12:06)
- MathComp for AI "deeply flawed"? (28 messages, latest: Jan 22 2021 at 21:30)
- GPT-f (6 messages, latest: Sep 09 2020 at 17:35)
- AITP2020 (1 message, latest: Aug 31 2020 at 15:23)
- CoqGym/Tactician/ProverBot proofs contributed back (7 messages, latest: Aug 19 2020 at 17:15)
- Comparative evaluation (32 messages, latest: Aug 13 2020 at 20:00)
- Similar Stream on Lean Zulip (5 messages, latest: Aug 09 2020 at 13:55)
Last updated: Oct 03 2023 at 20:01 UTC