Artificial Intelligence
Building intelligent machines that complement human reasoning and extend what people can do.
Project
Songsmith
Automatic accompaniment for vocal melodies What is Songsmith? Songsmith generates musical accompaniment to match a singer’s voice. Just choose a musical style, sing into your PC’s microphone, and Songsmith will create backing music for you.…
Project
Antigen Map
The Antigen Map is the complete mapping of which T-cells bind to which antigens. If we knew nature’s map, we could read the story about what your T-cells are currently targeting or have targeted in…
Project
Simulation of Crystallization Process of Hydrate in CCS
Carbon dioxide capture and storage (CCS) is a technology that can effectively reduce carbon emissions to the atmosphere and seabed aquifers, which is usually divided into three stages, namely capture, transportation and storage. At present,…
Project
Robust Machine Learning
We focus on understanding the weak points of machine learning and developing robust algorithms from principles including but not limited to 1) adversarial robustness 2) exploiting the causal relations. Tianyu Pang, Huishuai Zhang, Di He,…
Project
RL Theory
Finding the optimal policy of a given controlled problem is a fundamental task in artificial intelligence. The reinforcement problem faces the following challenges: (1) No pre-given I.I.D. data. (2) No direct supervised label as in supervised…