← Search

Artur Garcez

2 accepted papers

2022

Formalizing Consistency and Coherence of Representation Learning

NeurIPS 2022accept

In the study of reasoning in neural networks, recent efforts have sought to improve consistency and coherence of sequence models, leading to important developments in the area of neuro-symbolic AI. In symbolic AI, the concepts of consistency and coherence can be defined and verified formally, but fo…

Cited by 0SourcePDFScholar