Skip to content
conftrace_

logic circuit

5 papers

Explore in graph

Also known as

LC

Co-occurring keywords · papers mentioning both

logic gate (1) circuit transformer (1) intrinsic method (1) boolean logic (1) logical equivalence (1) counterfactual simulation (1) model compactness (1) neuro-symbolic learning (1) overfitting detection (1) probabilistic circuit (1)

Papers

Circuit Transformer: A Transformer That Preserves Logical Equivalence ICLR 2025 Truth Table Net: Scalable, Compact & Verifiable Neural Networks with a Dual Convolutional Small Boolean Circuit Networks Form IJCAI 2024 Neuro-symbolic entropy regularization UAI 2022 Juice: A Julia Package for Logic and Probabilistic Circuits AAAI 2021 Circuit-Based Intrinsic Methods to Detect Overfitting ICML 2020