Leveraging Human Insights into Problem Structure for Scientific Discovery
KEC 1007 ** Note the different time and place ** Mon, 01/11/2016 - 2:00pm Ronan Le Bras Ph.D. Candidate, Department of Computer Science, Cornell Unviersity Abstract: Most problems, from theoretical problems in combinatorics to real-world applications, comprise hidden structural properties not directly captured by the problem definition. A key to the recent progress in automated reasoning and combinatorial optimization has been to automatically uncover and exploit this hidden problem structure, resulting in a dramatic increase in the scale and complexity of the problems within our reach. The most complex tasks, however, still require human abilities and ingenuity. In this talk, I will show how we can leverage human insights to effectively complement and dramatically boost state-of-the-art optimization techniques. I will demonstrate the effectiveness of the approach with a series of scientific discoveries, from experimental designs to materials discovery. Bio: URL: http://eecs.oregonstate.edu/colloquium/leveraging-human-insights-problem-structure-scientific-discovery _______________________________________________ Colloquium mailing list [email protected] https://secure.engr.oregonstate.edu/mailman/listinfo/colloquium
