{"id":2,"date":"2024-02-07T12:29:18","date_gmt":"2024-02-07T12:29:18","guid":{"rendered":"https:\/\/bernoulli.epfl.ch\/ai4reason\/?page_id=2"},"modified":"2024-04-30T09:34:01","modified_gmt":"2024-04-30T08:34:01","slug":"sample-page","status":"publish","type":"page","link":"https:\/\/bernoulli.epfl.ch\/ai4reason\/","title":{"rendered":""},"content":{"rendered":"\n

<\/p>\n\n\n

Location : Room SG1<\/a><\/h3>\n

Registration Form\u00a0<\/a><\/h3>\n\n\n

<\/h2>\n\n\n\n

Mai 3<\/h2>\n\n\n\n
\n
\n
09:00-09:05<\/td><\/td>Emmanuel Abbe <\/strong>(EPFL-Apple): Opening remarks<\/td><\/tr>
09:05-09:50<\/td>\"\"<\/td>Samy Bengio<\/strong> (Apple), Reasoning and length generalization can be hard<\/td><\/tr>
09:50-10:35<\/td>\"\"<\/td>Christian Szegedy<\/strong> (xAI), The Potential and Hurdles of Automatic Formalization of Mathematics<\/td><\/tr>
10:35-11:00<\/td><\/td>Coffee break<\/td><\/tr>
11:00-11:45<\/td>\"\"<\/td>Thang Luong <\/strong>(Google Deepmind): AlphaGeometry: An Olympiad-level AI system for geometry<\/td><\/tr>
11:45-12:15<\/td><\/td>AI4Reason collaboration: Reasoning barriers and scratchpads Aryo Lotfi, Colin Sandon (EPFL)

AI4maths initiative, Anja Surina (EPFL)<\/td><\/tr><\/tbody><\/table><\/figure>\n<\/div>\n\n\n\n
<\/div>\n<\/div>\n\n\n\n

<\/p>\n\n\n\n

\n
<\/div>\n\n\n\n
<\/div>\n<\/div>\n\n\n\n

Major progress is taking place in AI, particularly in text, image, audio processing. What about more complex reasoning tasks? Are current methods also breaking barriers in logic and mathematics? The event will cover results and developments on these topics.<\/em><\/p><\/blockquote><\/figure>\n\n\n\n

\"\"<\/figure>\n","protected":false},"excerpt":{"rendered":"

Location : Room SG1 Registration Form\u00a0 Mai 3 09:00-09:05 Emmanuel Abbe (EPFL-Apple): Opening remarks 09:05-09:50 Samy Bengio (Apple), Reasoning and length generalization can be hard 09:50-10:35 Christian Szegedy (xAI), The Potential and Hurdles of Automatic Formalization of Mathematics 10:35-11:00 Coffee break 11:00-11:45 Thang Luong (Google Deepmind): AlphaGeometry: An Olympiad-level AI system for geometry 11:45-12:15 AI4Reason … <\/p>\n

Read more “”<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-2","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/bernoulli.epfl.ch\/ai4reason\/wp-json\/wp\/v2\/pages\/2","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/bernoulli.epfl.ch\/ai4reason\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/bernoulli.epfl.ch\/ai4reason\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/bernoulli.epfl.ch\/ai4reason\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/bernoulli.epfl.ch\/ai4reason\/wp-json\/wp\/v2\/comments?post=2"}],"version-history":[{"count":40,"href":"https:\/\/bernoulli.epfl.ch\/ai4reason\/wp-json\/wp\/v2\/pages\/2\/revisions"}],"predecessor-version":[{"id":132,"href":"https:\/\/bernoulli.epfl.ch\/ai4reason\/wp-json\/wp\/v2\/pages\/2\/revisions\/132"}],"wp:attachment":[{"href":"https:\/\/bernoulli.epfl.ch\/ai4reason\/wp-json\/wp\/v2\/media?parent=2"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}