Software Stack
(8)- Haskell
- OCaml
- Rust
- Data structures and algorithms
- Julia
- bayesian modelling
- Genetic Algorithms
- Artificial Intelligence
We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.
By choosing 'I Accept', you consent to our use of cookies and other tracking technologies.
We use cookies and other tracking technologies... More
We are building an AI system for analysts and scientists, based on a fundamentally new approach to reasoning and knowledge representation. We go beyond state-of-the-art LLMs by combining algorithms symbolically, to provide novel capabilities like performing multi-step analysis, displaying a verifiable reasoning path, and assessing uncertainty. We envision applications supporting and automating analysis and research in domains such as Finance, Strategy Consulting, Engineering, Material Sciences, and more.
Use this space to connect with our community. Companies with profiles typically get 20% more applications!
Use this space to connect with our community. Companies with profiles typically get 20% more applications!