• Publications
  • Influence
Searching Over Search Trees for Human-AI Collaboration in Exploratory Problem Solving: A Case Study in Algebra
TLDR
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
  • 1
Human-AI Interaction in Symbolic Problem Solving
  • Benjamin T. Jones
  • Computer Science
  • IEEE Symposium on Visual Languages and Human…
  • 1 October 2018
TLDR
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