Items where Author is "Gulwani, Sumit"

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

Conference or Workshop Item (A Paper)

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.

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..

Alvin, Christopher and Gulwani, Sumit and Mukhopadhyay, Supratik and Majumdar, Rupak
(2014) Synthesis of Geometry Proof Problems.
In: Proc. of the 28th Conference of Artificial Intelligence (AAAI 2014).
Conference: AAAI National Conference of the American Association for Artificial Intelligence

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

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.

This list was generated on Wed Mar 27 16:53:54 2024 CET.