3 ms·
The performance of this model using English descriptions suggests to me the possibility of a model that is built to work using precise mathematical notation per
by taberiand 4y ago
The performance of this model using English descriptions suggests to me the possibility of a model that is built to work using precise mathematical notation performing even better.
Are there models that are trained to receive and respond with a purely mathematical description of the problem?
- phi0 4y agoOpenAI has trained a model to solve Math Olympiad-type problems[1], with some initial success, but currently the model isn't good at coming up with proofs involving more than a couple arguments chained together. Still some very impressive work. [1] https://analyticsindiamag.com/openais-neural-theorem-prover-can-solve-math-olympiad-problems/ https://analyticsindiamag.com/openais-neural-theorem-prover-...
- lpasselin 4y agoCheck out Google Minerva. https://ai.googleblog.com/2022/06/minerva-solving-quantitative-reasoning.html https://ai.googleblog.com/2022/06/minerva-solving-quantitati...