Microsoft introduces rStar-Math, an SLM for math reasoning and problem solving

(techxplore.com)

1 points | by pseudolus 391 days ago

1 comments

sylware 391 days ago
Which mathematical formal solver it is using?