Artificial intelligence for formal mathematical reasoning startup Harmonic AI Inc. announced today that it has raised $100 million in new funding on a nearly $900 million valuation to accelerate the ...
This study introduces MathEval, a comprehensive benchmarking framework designed to systematically evaluate the mathematical reasoning capabilities of large language models (LLMs). Addressing key ...
Microsoft on Tuesday released Phi-4-reasoning-vision-15B, a compact open-weight multimodal AI model that the company says matches or exceeds the performance of systems many times its size — while ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results