We are building a system which accurately represents knowledge and uncertainty, to enable the discovery of insights and transparent problem solving. Useful experience: algorithms, Bayesian statistics, symbolic computing, optimization, category theor…

We build a system that can accurately represent knowledge and handle uncertainty, to help us discover insights and solve problems based on composition and explainable reasoning. We envision applications to automate analysis and speed up research in …