corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0bbbd-c665-70f6-ba61-82441ff14b7f

New methods boost reasoning in small and large language models

Microsoft Research · published 17 June 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at microsoft.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
9
Words captured
1,184

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.microsoft.com/en-us/research/articles/li-zhang-rstar-math/
microsoft.com
https://www.microsoft.com/en-us/research/publication/proving-olympiad-inequalities-by-synergizing-llms-and-symbolic-reasoning/
microsoft.com
https://www.microsoft.com/en-us/research/publication/autoformalizing-mathematical-statements-by-symbolic-equivalence-and-semantic-consistency/
microsoft.com
https://www.microsoft.com/en-us/research/publication/neuro-symbolic-data-generation-for-math-reasoning/
microsoft.com
https://www.microsoft.com/en-us/research/publication/chain-of-reasoning-towards-unified-mathematical-reasoning-in-large-language-models-via-a-multi-paradigm-perspective/
microsoft.com
https://www.microsoft.com/en-us/research/articles/cpl/
microsoft.com
https://www.microsoft.com/en-us/research/publication/autoverus-automated-proof-generation-for-rust-code/
microsoft.com
https://www.microsoft.com/en-us/research/publication/automated-proof-generation-for-rust-code-via-self-evolution/
microsoft.com
https://www.microsoft.com/en-us/research/publication/alchemy-amplifying-theorem-proving-capability-through-symbolic-mutation/
microsoft.com