Jason Rute @ JMM 2025
@jasonrute
AI Researcher @ IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
ID: 1552838409743376385
29-07-2022 02:08:48
210 Tweet
170 Followers
124 Following
I’m really excited to announce that I’m going to be at the Joint Math Meetings #JMM2025 Joint Mathematics Meetings to give a talk on AI for Formal Theorem Proving on Friday. Reach out if you want to talk about AI for Math, or for all my math friends, if you just want to catch up!