DD plus AR

Concept

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

Mentioned in 1 video

Videos Mentioning DD plus AR

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.