Synthesis of Problems for Shaded Area Geometry Reasoning.

Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay

Browse the full AIED paper archive.