Artificial Intelligence
Pursuing computing advances to create intelligent machines that complement human reasoning to augment and enrich our experience and competencies.
Project
Non-transitive Dice
Embracing Uncertainty Scientists have worked for decades to try to create intelligence in computers. Traditional approaches relied on hand-crafted solutions and had limited applicability. New artificial intelligence techniques developed at Microsoft and other institutions around…
Publication
Driving with Knowledge from the Physical World
Video
Automated FPGA Verification and Debugging
Hardware simulations on FPGAs run more than three orders of magnitude faster than software simulations, but with much lower visibility into the circuit under test. To expedite the task of debugging and specification verification, we…
Publication
Herbert West – Deanonymizer
Publication
Multi-Task Learning in Square Integrable Space.
Video
Learning Valuation Functions
A core element of microeconomics and game theory is that consumers have valuation functions over bundles of goods and that these valuation functions drive their purchases. In particular, the value given to a bundle need…
