Zulip Chat Archive
Stream: IMO-grand-challenge
Topic: Request for a simple geometry benchmark
Trieu (Aug 13 2021 at 18:41):
I would like to get my hand on the problem set from Deductive Database Approach for Unordered Geometry,
Apparently they can solve 160 problems out of 600, Is there anyone who know or have this problem set handy somewhere? Thank you!
Last updated: Dec 20 2023 at 11:08 UTC