Bart Selman

[Airicist]

Faculty at UC Berkeley Center for Human-Compatible AI (https://pr.ai/showthread.php?t=20950)

cs.cornell.edu/selman (http://www.cs.cornell.edu/selman)

facebook.com/bart.selman1 (https://www.facebook.com/bart.selman1)

linkedin.com/in/bart-selman-33a114 (https://www.linkedin.com/in/bart-selman-33a114)

Bart Selman (https://en.wikipedia.org/wiki/Bart_Selman) on Wikipedia

[Airicist]

https://youtu.be/_8lX6BDid5o

Crowdsourcing Insights into Problem Structure for Scientific Discovery - Bart Selman

Published on May 15, 2014


In recent years, there has been tremendous progress in solving large-scale reasoning and optimization problems. Central to this progress has been the ability to automatically uncover hidden problem structure. Nevertheless, for the very hardest computational tasks, human ingenuity still appears indispensable. We show that automated reasoning strategies and human insights can effectively complement each other, leading to hybrid human-computer solution strategies that outperform other methods by orders of magnitude. We illustrate our approach with challenges in scientific discovery in the areas of finite mathematics and materials science.