conftrace_

boolean function

44 papers

Explore in graph

Co-occurring keywords

knowledge compilation (40) neural network (6616) pac learning (283) decision tree (322) binary decision diagram (22) computational complexity (399) membership query (22) logic reasoning (23) threshold function (9) decision diagram (19)

Papers

An And-Sum Circuit with Signed Edges That Is More Succinct than SDD AAAI 2025
Interpretable DNFs IJCAI 2025
(1+1) Genetic Programming with Functionally Complete Instruction Sets Can Evolve Boolean Conjunctions and Disjunctions with Arbitrarily Small Error AAAI 2025
Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs AAAI 2025
Submodel Enumeration for CTL Is Hard AAAI 2024
A Compiler for Weak Decomposable Negation Normal Form AAAI 2024
Unravelling Expressive Delegations: Complexity and Normative Analysis AAAI 2024
Generalization on the Unseen, Logic Reasoning and Degree Curriculum JMLR 2024
Structured d-DNNF Is Not Closed under Negation IJCAI 2024
An Approximate Skolem Function Counter AAAI 2024
Automated CPU Design by Learning from Input-Output Examples IJCAI 2024
Compilation and Fast Model Counting beyond CNF IJCAI 2024
A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs IJCAI 2024
Multitask Learning via Shared Features: Algorithms and Hardness COLT 2023
Simplicity Bias in Transformers and their Ability to Learn Sparse Boolean Functions ACL 2023
Generalization on the Unseen, Logic Reasoning and Degree Curriculum ICML 2023
A Unifying Formal Approach to Importance Values in Boolean Functions IJCAI 2023
Agnostic PAC Learning of $k$-juntas Using $L_2$-Polynomial Regression AISTATS 2023
Optimizing Binary Decision Diagrams with MaxSAT for Classification AAAI 2022
Maximum Consensus by Weighted Influences of Monotone Boolean Functions CVPR 2022
An Initial Alignment between Neural Network and Target is Needed for Gradient Descent to Learn ICML 2022
Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints AAAI 2022
Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective NIPS 2022
Efficiently Learning the Topology and Behavior of a Networked Dynamical System Via Active Queries ICML 2022
Size and Depth Separation in Approximating Benign Functions with Neural Networks COLT 2021