Abstract: Knowledge Graph Completion (KGC) has garnered massive research interest recently, and most existing methods are designed following a transductive setting where all entities are observed ...
DeepSeek released DeepSeek-Math-V2, an AI model specialized for mathematical reasoning, on November 27, 2025. DeepSeek-Math-V2 focuses on theorem proving and self-verification capabilities, and ...
For the community, these results signal something fundamental: Open-source models are not only "catching up" with proprietary leaders—they are beginning to surpass them in frontier reasoning tasks..
Artificial intelligence for formal mathematical reasoning startup Harmonic AI Inc. announced today that it has raised $120 million in new funding on a $1.45 billion valuation. The funding is intended ...
Ribbit Capital Leads Round at $1.45B Valuation of Math-Based AI Venture; Emerson Collective Joins Existing Backers Including Sequoia & Kleiner Perkins PALO ALTO, Calif.--(BUSINESS WIRE)--Harmonic, the ...
Cognitive restructuring is a technique that helps people change the way they think. It is part of numerous types of psychotherapy, including cognitive behavioral therapy (CBT). Cognitive restructuring ...
Abstract: Inductive relation prediction aims to predict missing connections between entities unseen during training. Recent approaches adopt binary (positive or negative) training labels, which ...
In a new paper, researchers from Tencent AI Lab Seattle and the University of Maryland, College Park, present a reinforcement learning technique that enables large language models (LLMs) to utilize ...
[2025.09.15] We released the benchmark and evaluation code. [2025.09.08] Accepted by ISPRS JPRS. Mathematical reasoning is critical for tasks such as precise distance and area computations, trajectory ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback