D

DD plus AR

concept

The combined procedure of alternating between the Deductive Database (DD) and Algebraic Reasoning (AR) modules.

Mentioned in 1 video

The AI that solved IMO Geometry Problems | Guest video by @Aleph0

The AI that solved IMO Geometry Problems | Guest video by @Aleph0

3Blue1Brown

The combined procedure of alternating between the Deductive Database (DD) and Algebraic Reasoning (AR) modules.