Chu Gao and Jang

PersonMentioned in 1 video

Researchers who released a paper in October 2000 detailing a database of 75 geometry rules used for problem-solving.

Videos Mentioning Chu Gao and Jang

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

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

3Blue1Brown

Researchers who released a paper in October 2000 detailing a database of 75 geometry rules used for problem-solving.