Artificial Intelligence
Building intelligent machines that complement human reasoning and extend what people can do.
Project
GPU based Linear Programming
This project is to develop a highly parallel simplex method for solving linear programming problems on top of GPU architecture
Project
LightLDA
LightLDA is a distributed system for large scale topic modeling. It implements a distributed sampler that enables very large data sizes and models. LightLDA improves sampling throughput and convergence speed via a fast O(1) metropolis-Hastings…
Project
Reinforcement Learning for Machine Learning
Reinforcement learning (RL) has achieved great success in video and board games. In this project, we aim at boosting machine learning algorithms and systems by leveraging reinforcement learning techniques. We focus the following aspects. First,…
Project
Reinforcement Learning for Internet Applications
Reinforcement learning (RL) has achieved great success in video and board games, in which RL can make improvement through (almost) infinite self-play. However, different from games, in real-world applications, self-play is either impossible or costly.…
Project
Mechanism Design For Complex Systems
We are living in and interacting with many complex systems nowadays, including the advertising system, cloud system, large scale machine learning system, and multitenancy big data system. There are multiple kinds of players with different…
Project
LIKQ
LIKQ is a Language-Integrated Knowledge Query language. It allows users to query, search, and consume knowledge via graph traversal and lambda expressions in real time, making massive knowledge accessible at our fingertips.
Project
Symbolic Learning
The goal of this project is to build a symbolic knowledge service stack, providing the capability of knowledge storage and serving as well as knowledge learning and reasoning. This project tries to represent knowledge using…