conftrace_

majority-vote quantifier

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical characterization (1) transformer classifier (1) first-order logic (1)

Papers

A Logic for Expressing Log-Precision Transformers NeurIPS 2023