AIMay 2, 2025DeepSeek-AI Released DeepSeek-Prover-V2: An Open-Source Large Language Model Designed for Formal Theorem, Proving through Subgoal Decomposition and Reinforcement Learning
AIMay 1, 2025Microsoft AI Released Phi-4-Reasoning: A 14B Parameter Open-Weight Reasoning Model that Achieves Strong Performance on Complex Reasoning Tasks
AIApril 25, 2025Microsoft Research Introduces MMInference to Accelerate Pre-filling for Long-Context Vision-Language Models
AIApril 25, 2025Meta AI Releases Web-SSL: A Scalable and Language-Free Approach to Visual Representation Learning
AIApril 23, 2025Muon Optimizer Significantly Accelerates Grokking in Transformers: Microsoft Researchers Explore Optimizer Influence on Delayed Generalization
