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…
Publication
Synthesizing Program Input Grammars
Video
Cambridge Lab Overview with Chris Bishop, Lab Director
Cambridge Lab Overview with Chris Bishop, Lab Director.