Our flagship product, Silas, is a generic data mining and predictive analytics software toolkit built upon advanced machine learning, automated reasoning and artificial intelligence techniques. It deals with any type of structured data and performs tasks such as classification, regression, segmentation, anomaly detection, prediction, and more.


Silas implements novel tree-based learning algorithms that yield high predictive performance when dealing with structured data.

Fast and Efficient

Silas adopts various high-performance computing techniques to ensure that the computation is fast and memory-efficient. Silas is built to handle big data and it can be deployed on high performance clusters.


Silas uses formal verification techniques to mathematically verify that the prediction model satisfies user specifications. Further, user specifications can be enforced during the training phase.


Silas adopts the latest automated reasoning techniques to reason about the predictive model and provides insights on the rationale behind the decision-making.

Silas Pro

Silas Pro enhances user experience through modern graphical user interfaces (GUI) and integration with eXplainable AI (XAI) features.


Video tutorials for Silas Pro. 中文视频教程.

Please email our support team regarding sales of Silas Pro/Team/Enterprise subscriptions or our customised data analytics and AI services.

Quick Links

Technical Overview Slides.
Journal Paper. Preprint. BibTex.

Contact us for more information.