DD plus AR

ConceptMentioned in 1 video

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

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.