Phi-4 is 14B parameter model from Microsoft Research that aims to improve the state of the art for math reasoning. Previously ...

Employ quantitative methods, mathematical models, statistics, and/or logic to analyze data and solve real-world problems beyond the level of basic algebra. Identify common mistakes and/or limitations ...

David Bahr, Bemidji State University professor emeritus of physics, will teach a series of "Mathematical Reasoning" sessions ...

On Monday, Chinese AI lab DeepSeek released its new R1 model family under an open MIT license, with its largest version ...

DeepSeek R1 is an open sourced model. DeepSeek is a Chinese AI research company backed by High-Flyer Capital Management, a ...

DeepSeek has released an open version of its 'reasoning' AI model, DeepSeek-R1, that it claims performs as well as OpenAI's ...

The National Academies of Sciences, Engineering, and Medicine are private, nonprofit institutions that provide expert advice on some of the most pressing challenges facing the nation and world. Our ...

Microsoft enhances the capabilities of small language models (SLMs) with rStar-Math. The technique boosts the capabilities of ...

A team of math and AI researchers at Microsoft Asia has designed and developed a small language model (SLM) that can be used to solve math problems. The group has posted a paper on the arXiv preprint ...

With 14 billion parameters, Phi-4 stands out for its ability to tackle complex reasoning, particularly in mathematical domains, while maintaining proficiency in general language processing tasks.

FLYTEK (002230.SZ) has unveiled in mainland China the first foundation model trained on a national computing power platform ...