Number of items: 4.
Alvin, Chris and Gulwani, Sumit and Majumdar, Rupak and Mukhopadhyay, Supratik
(2017)
Synthesis of Problems for Shaded Area Geometry Reasoning.
Alvin, Chris and Gulwani, Sumit and Majumdar, Rupak and Mukhopadhyay, Supratik
(2017)
Synthesis of Solutions for Shaded Area Geometry Problems.
Alvin, Chris and Gulwani, Sumit and Majumdar, Rupak and Mukhopadhyay, Supratik
(2015)
Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System.
CoRR, abs/15.
Alvin, Chris and Gulwani, Sumit and Majumdar, Rupak and Mukhopadhyay, Supratik
(2014)
Synthesis of Geometry Proof Problems.
This list was generated on Thu Jul 31 01:13:41 2025 CEST.