Skip to content
conftrace_

logical characterization

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

majority-vote quantifier (1) recurrent gnn (1) epistemic logic program (1) strong equivalence (1) rule subsumption (1) tautological rule (1) graph neural network (1) transformer classifier (1) epistemic logic (1) modal logic (1)

Papers

Logical characterizations of recurrent graph neural networks with reals and floats NeurIPS 2024 A Logic for Expressing Log-Precision Transformers NeurIPS 2023 Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019