leancoder Proving math theorems in Lean using the DreamCoder algorithm. Resources: Papers: DreamCoder Paper DreamCoder Supplement GPT-m paper Other OpenAI theorem proving paper Deepcoder Deep Network Guided Proof Search GitHub: mathlib DreamCoder GitHub Other: IMO Grand Challenge OpenAI request for research