Zulip Chat Archive
Stream: IMO-grand-challenge
Topics:
- NN solves math (2 messages, latest: Jan 09 2022 at 21:24)
- Request for a simple geometry benchmark (1 message, latest: Aug 13 2021 at 18:41)
- IMO 2021 (2 messages, latest: Jul 20 2021 at 21:58)
- The Aim and Timeline IMO Grand Challenge (11 messages, latest: May 24 2021 at 22:34)
- problems that ask for both data and a proof (18 messages, latest: May 18 2021 at 05:29)
- geometry revisited (7 messages, latest: May 11 2021 at 15:29)
- MiniF2F (4 messages, latest: May 10 2021 at 11:48)
- F2F (25 messages, latest: May 04 2021 at 10:57)
- discrete probability (7 messages, latest: Apr 09 2021 at 03:29)
- livestreaming (9 messages, latest: Mar 30 2021 at 15:57)
- 2013 Q5 (19 messages, latest: Jan 18 2021 at 02:34)
- Understanding the Kernel (8 messages, latest: Jan 15 2021 at 20:51)
- new repo for IMO questions etc (44 messages, latest: Oct 16 2020 at 04:42)
- IMO 2020 (101 messages, latest: Oct 11 2020 at 04:26)
- imo label (1 message, latest: Oct 08 2020 at 10:48)
- 1962 problem 1 (105 messages, latest: Oct 07 2020 at 01:48)
- relevant ICLR 2021 submissions (2 messages, latest: Oct 06 2020 at 22:32)
- (no topic) (1 message, latest: Oct 06 2020 at 16:40)
- Invitation to give (online) expository talk. (7 messages, latest: Oct 05 2020 at 21:11)
- formalizing IMO problems (116 messages, latest: Oct 02 2020 at 18:35)
- 1959 problem 1 (18 messages, latest: Oct 01 2020 at 08:33)
- 1969 problem 1 (2 messages, latest: Sep 25 2020 at 22:00)
- Non-F2F format (15 messages, latest: Sep 24 2020 at 22:42)
- Easier competitions (21 messages, latest: Sep 24 2020 at 13:06)
- AITP invited talk (9 messages, latest: Sep 24 2020 at 03:21)
- IMO 2019 shortlist (1 message, latest: Sep 23 2020 at 17:29)
- Geometry (17 messages, latest: Sep 23 2020 at 11:13)
- Current status? (22 messages, latest: Sep 22 2020 at 13:13)
- One olympiad geometry problem formalised (2 messages, latest: Sep 13 2020 at 01:02)
- Some IMO problem solutions formalized in Isabelle/HOL (5 messages, latest: Jun 09 2020 at 18:39)
- Is this happening in 2020? (8 messages, latest: May 23 2020 at 11:38)
- transition systems (1 message, latest: Mar 09 2020 at 16:55)
- solving procedure (3 messages, latest: Feb 23 2020 at 12:45)
- geometry problems (14 messages, latest: Feb 18 2020 at 07:31)
- Extracting an existential witness (1 message, latest: Jan 07 2020 at 20:42)
- Reading list/sample AI (35 messages, latest: Dec 18 2019 at 07:14)
- general discussion (85 messages, latest: Oct 25 2019 at 00:33)
- Intermediate Language (8 messages, latest: Oct 23 2019 at 23:01)
- folklore problems (3 messages, latest: Oct 23 2019 at 10:34)
- problems: the source (12 messages, latest: Oct 06 2019 at 13:15)
- How to help? (40 messages, latest: Sep 17 2019 at 19:40)
- AI (5 messages, latest: Sep 07 2019 at 14:00)
- Team (3 messages, latest: Sep 07 2019 at 13:43)
- Inequalities (2 messages, latest: Sep 07 2019 at 11:22)
- stream events (2 messages, latest: Sep 07 2019 at 08:33)
Last updated: Jan 22 2022 at 22:10 UTC