
Hongkai Zheng
@hongkai_zheng
Caltech
ID: 1597727238367100928
29-11-2022 23:00:49
6 Tweet
59 Followers
189 Following

Visit LeanDojo's poster and talk to us about LLMs for theorem proving! (7/28 Friday, 11:45 AM – 12:15 PM, room 301, the Knowledge and Logical Reasoning in the Era of Data-driven Learning workshop) Prof. Anima Anandkumar

Today at ICML Conference 6:30 pm local time at Island Vintage Coffee Waikiki #PDE meetup. Even if you are new to ML+PDE and want to learn, you are welcome. Open to everyone. Let us share ideas and build robust benchmarks. Steven Brunton Kamyar Azizzadenesheli Jean Kossaifi @CristopherSalvi
