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

(techxplore.com)

1 points | by pseudolus 392 days ago

1 comments

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