Benjamin T. Jones, Steven L. Tanimoto. Searching Over Search Trees for Human-AI Collaboration in Exploratory Problem Solving: A Case Study in Algebra. In Jácome Cunha, João Paulo Fernandes, Caitlin Kelleher, Gregor Engels, Jorge Mendes 0001, editors, 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018, Lisbon, Portugal, October 1-4, 2018. pages 33-37, IEEE, 2018. [doi]
Abstract is missing.