Paper by Henry Hammer, Nanako Noda, and Prof. Stone Accepted by Prestigious Conference

The CS department is pleased to announce that the paper, ProofLang: The Language of arXiv Proofs by Henry Hammer ’24, Nanako Noda ’23, and Professor Christopher A. Stone has been accepted by the Conference on Intelligent Computer Mathematics, being held in Cambridge, England this September. We congratulate these students on their hard work and success!