{"id":1430,"date":"2023-05-31T14:56:34","date_gmt":"2023-05-31T21:56:34","guid":{"rendered":"https:\/\/www.hmc.edu\/cs\/?p=1430"},"modified":"2023-05-31T14:56:48","modified_gmt":"2023-05-31T21:56:48","slug":"paper-by-henry-hammer-nanako-noda-and-prof-stone-accepted-by-prestigious-conference","status":"publish","type":"post","link":"https:\/\/www.hmc.edu\/cs\/2023\/05\/31\/paper-by-henry-hammer-nanako-noda-and-prof-stone-accepted-by-prestigious-conference\/","title":{"rendered":"Paper by Henry Hammer, Nanako Noda, and Prof. Stone Accepted by Prestigious Conference"},"content":{"rendered":"\n<p>The CS department is pleased to announce that the paper, <em>ProofLang: The Language of arXiv Proofs<\/em> by Henry Hammer &#8217;24, Nanako Noda &#8217;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!<\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The CS department is pleased to announce that the paper, ProofLang: The Language of arXiv Proofs by Henry Hammer &#8217;24, [&hellip;]<\/p>\n","protected":false},"author":312,"featured_media":1431,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[12],"tags":[10,34,11,35,36,33,15,14],"class_list":["post-1430","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-student","tag-computer-science","tag-conference","tag-cs","tag-henry-hammer","tag-nanako-noda","tag-paper","tag-research","tag-student"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.hmc.edu\/cs\/wp-json\/wp\/v2\/posts\/1430","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.hmc.edu\/cs\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.hmc.edu\/cs\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.hmc.edu\/cs\/wp-json\/wp\/v2\/users\/312"}],"replies":[{"embeddable":true,"href":"https:\/\/www.hmc.edu\/cs\/wp-json\/wp\/v2\/comments?post=1430"}],"version-history":[{"count":4,"href":"https:\/\/www.hmc.edu\/cs\/wp-json\/wp\/v2\/posts\/1430\/revisions"}],"predecessor-version":[{"id":1435,"href":"https:\/\/www.hmc.edu\/cs\/wp-json\/wp\/v2\/posts\/1430\/revisions\/1435"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.hmc.edu\/cs\/wp-json\/wp\/v2\/media\/1431"}],"wp:attachment":[{"href":"https:\/\/www.hmc.edu\/cs\/wp-json\/wp\/v2\/media?parent=1430"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.hmc.edu\/cs\/wp-json\/wp\/v2\/categories?post=1430"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.hmc.edu\/cs\/wp-json\/wp\/v2\/tags?post=1430"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}