Silas: A high-performance machine learning foundation for logical reasoning and verification
Hadrien Bride, Cheng‐Hao Cai, Jie Dong, Jin Song Dong, Zhé Hóu, Seyedali Mirjalili, Jing Sun
Topics & Concepts
Computer scienceMachine learningArtificial intelligenceMachine Learning and Data ClassificationExplainable Artificial Intelligence (XAI)Bayesian Modeling and Causal Inference