Mehran Kazemi
@kazemi_sm
Senior Research Scientist @GoogleAI.
Research areas: machine/deep learning, large language models, artificial general intelligence.
Views my own.
ID:872330935584403456
https://mehran-k.github.io/ 07-06-2017 05:54:36
223 Tweets
1,1K Followers
501 Following
A geometric interpretation is worth 1000 proof lines. Continuing my love on using AI for Math, we ask how well does Vision-Lang models do on Geometry which mixes calc with geometric info in figure. We propose GeomVerse: a synthetic Geometry dataset. Led by brilliant Mehran Kazemi
This work on discovering new lower bounds by tabu-search and Alpha-Zero will be presented by Gheorghe Comanici at #NeurIPS2023 MathAI workshop today. Have a look to discuss how we can advance some of this work in maths using AI.