大模型推理能力

A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification

Vasileios Manginas, Nikolaos Manginas, Edward Stevinson, Sherwin Varghese, Nikos Katzouris, Georgios Paliouras, Alessio Lomuscio

机构 * Department of Computer Science and Leuven.AI KU Leuven Belgium（比利时列日大学计算机科学系） ； Department of Computing Imperial College London UK（伦敦帝国学院计算机系） 纠错

专题命中 逻辑推理 ：reasoning(abstract,comments)；分类 cs.AI

Comments 19th Conference on Neurosymbolic Learning and Reasoning