Deductive Database Arithmetic Reasoning

Deductive Database Arithmetic Reasoning (DDAR) is an algorithm proposed by Google DeepMind in February 2025 to compute deductive closure, that is, the set of all deducible facts given a set of core initial facts.Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2DDAR follows a fixed set of deductive rules to build this deductive closure and iteratively adds new facts to the deductive closure until no more can be added.

This method is often used to automatically infer and reason about information in a database, especially when complex mathematical or arithmetic operations are involved. It aims to deduce and calculate data in the database through inference rules and mathematical operations.