Items where Author is "Alvin, Chris"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Article

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.

Conference or Workshop Item

Alvin, Chris and Gulwani, Sumit and Majumdar, Rupak and Mukhopadhyay, Supratik
(2017) Synthesis of Problems for Shaded Area Geometry Reasoning.
In: Artificial Intelligence in Education - 18th International Conference, AIED 2017, Wuhan, China, June 28 - July 1, 2017, Proceedings.
Conference: None | Not Set

Alvin, Chris and Gulwani, Sumit and Majumdar, Rupak and Mukhopadhyay, Supratik
(2017) Synthesis of Solutions for Shaded Area Geometry Problems.
In: Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017..
Conference: None | Not Set

Alvin, Chris and Gulwani, Sumit and Majumdar, Rupak and Mukhopadhyay, Supratik
(2014) Synthesis of Geometry Proof Problems.
In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada..
Conference: AAAI - National Conference of the American Association for Artificial Intelligence

This list was generated on Thu Nov 15 00:03:01 2018 CET.