Automated Problem Generation for Education

Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games

Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani

AAAI'15 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence | January 2015

ISBN: 0-262-51129-0

Publication Publication

Automatically Generating Problems and Solutions for Natural Deduction

Umair Z. Ahmed, Sumit Gulwani, Amey Karkare

IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013

ISBN: 978-1-57735-633-2

Publication Publication Project

A Trace-based Framework for Analyzing and Synthesizing Educational Progressions

Sumit Gulwani, Erik Andersen, Zoran Popović

CHI 2013, April 27-May 2, 2013, Paris, France | April 2013

Publication Publication Project Project

Automatically Generating Algebra Problems

Sriram Rajamani, Sumit Gulwani, Sriram Rajamani

AAAI | April 2012

AAAI

Publication Publication Project

Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games

Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani

AAAI'15 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence | January 2015

ISBN: 0-262-51129-0

Publication Publication

A Trace-based Framework for Analyzing and Synthesizing Educational Progressions

Sumit Gulwani, Erik Andersen, Zoran Popović

CHI 2013, April 27-May 2, 2013, Paris, France | April 2013

Publication Publication Project Project

Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games

Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani

AAAI'15 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence | January 2015

ISBN: 0-262-51129-0

Publication Publication

A Trace-based Framework for Analyzing and Synthesizing Educational Progressions

Sumit Gulwani, Erik Andersen, Zoran Popović

CHI 2013, April 27-May 2, 2013, Paris, France | April 2013

Publication Publication Project Project

Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games

Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani

AAAI'15 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence | January 2015

ISBN: 0-262-51129-0

Publication Publication

Automatically Generating Problems and Solutions for Natural Deduction

Umair Z. Ahmed, Sumit Gulwani, Amey Karkare

IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013

ISBN: 978-1-57735-633-2

Publication Publication Project

Automatically Generating Problems and Solutions for Natural Deduction

Umair Z. Ahmed, Sumit Gulwani, Amey Karkare

IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013

ISBN: 978-1-57735-633-2

Publication Publication Project

Automatically Generating Algebra Problems

Sriram Rajamani, Sumit Gulwani, Sriram Rajamani

AAAI | April 2012

AAAI

Publication Publication Project

Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games

Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani

AAAI'15 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence | January 2015

ISBN: 0-262-51129-0

Publication Publication

Automatically Generating Problems and Solutions for Natural Deduction

Umair Z. Ahmed, Sumit Gulwani, Amey Karkare

IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013

ISBN: 978-1-57735-633-2

Publication Publication Project

A Trace-based Framework for Analyzing and Synthesizing Educational Progressions

Sumit Gulwani, Erik Andersen, Zoran Popović

CHI 2013, April 27-May 2, 2013, Paris, France | April 2013

Publication Publication Project Project

Automatically Generating Algebra Problems

Sriram Rajamani, Sumit Gulwani, Sriram Rajamani

AAAI | April 2012

AAAI

Publication Publication Project