3 ms·Microsoft introduces rStar-Math, an SLM for math reasoning and problem solving1 points by pseudolus 2y agosylware 2y agoWhich mathematical formal solver it is using?