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

(techxplore.com)

1 points | by pseudolus 4 hours ago

1 comments

sylware 3 hours ago
Which mathematical formal solver it is using?