Benjamin T. Jones

We propose a framework for human-AI collaboration that gives humans ultimate control of the results of a problem solving task while playing to the strengths of the AI by persisting an agent's search trees and allowing humans to explore and search this search tree. Expand

A new approach to interaction with computer algebra systems that is compatible with current working styles, flexible in its input and output, and allows creative problem solvers to define their own notation as they work. Expand