Video
CodaLab: Introduction to Worksheets
In this brief video, Dr. Rich Caruana introduces us to the concept and usage of Worksheets in CodaLab.
Mathematics
Advancing the mathematical foundations that drive breakthroughs across computing, AI, and the sciences.
Publication
SMT-based Strategies for Biodesign Automation
Microsoft Research Blog
AI Takes to the Skies
As do other recreational pilots, Ashish Kapoor learned during flight training that he shouldn’t count on the accuracy of wind forecasts. The best available forecasts in the United States—from the federal government’s Winds Aloft program—have…
Publication
Primal Infon Logic with Conjunctions as Sets
Publication
Protecting Obfuscation Against Algebraic Attacks
Publication
LIMIX: genetic analysis of multiple traits
Publication
