Zulip Chat Archive

Stream: IMO-grand-challenge

Topic: NN solves math

megi ryan (Jan 08 2022 at 20:10):

https://arxiv.org/abs/2112.15594

Junyan Xu (Jan 09 2022 at 21:24):

https://leanprover.zulipchat.com/#narrow/stream/219941-Machine-Learning.20for.20Theorem.20Proving/topic/New.20paper.20on.20arXiv/near/267306818

xegasa2321 (Feb 02 2022 at 20:00):

https://openai.com/blog/formal-math/#fn1
2 imo inequality porblems

xegasa2321 (Feb 02 2022 at 20:00):

with lean

Last updated: Dec 20 2023 at 11:08 UTC