Visual Reasoning in Geometry Theorem Proving.

Michelle Y. Kim

Browse the full IJCAI paper archive.