Edward Hughes2 articles listing Edward Hughes in Nature, PNAS, indexed by Paperzzz from Crossref and OSF.Olympiad-level formal mathematical reasoning with reinforcement learning NatureCollective cooperative intelligence PNAS