Silas: A high-performance machine learning foundation for logical reasoning and verification.
Hadrien BrideCheng-Hao CaiJie DongJin Song DongZhé HóuSeyedali MirjaliliJing SunPublished in: Expert Syst. Appl. (2021)
Keyphrases
- logical reasoning
- machine learning
- formal semantics
- decision trees
- artificial intelligence
- pattern recognition
- learning algorithm
- computer science
- supervised learning
- learning tasks
- model checking
- machine learning algorithms
- data mining
- explanation based learning
- inductive learning
- cost effective
- knowledge acquisition
- natural language processing
- scientific computing
- formal verification
- active learning
- knowledge discovery
- computational biology
- text mining
- machine learning methods
- open source
- text classification
- inductive logic programming
- theoretical foundation
- semi supervised learning
- high efficiency
- kernel methods
- face verification
- machine learning and data mining
- learning systems
- reinforcement learning