conftrace_

circuit transformer

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical equivalence (1) logic circuit (1) boolean function (1) generative model (1) markov decision process (1)

Papers

Circuit Transformer: A Transformer That Preserves Logical Equivalence ICLR 2025