boolean function

A Unified Lower Bound on the Noisy Query Complexity of Boolean Functions COLT 2026 (1+1) Genetic Programming with Functionally Complete Instruction Sets Can Evolve Boolean Conjunctions and Disjunctions with Arbitrarily Small Error AAAI 2025 An And-Sum Circuit with Signed Edges That Is More Succinct than SDD AAAI 2025 Circuit Transformer: A Transformer That Preserves Logical Equivalence ICLR 2025 Interpretable DNFs IJCAI 2025 Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs AAAI 2025 A Compiler for Weak Decomposable Negation Normal Form AAAI 2024 A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs 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 Generalization on the Unseen, Logic Reasoning and Degree Curriculum JMLR 2024 Structured d-DNNF Is Not Closed under Negation IJCAI 2024 Submodel Enumeration for CTL Is Hard AAAI 2024 Unravelling Expressive Delegations: Complexity and Normative Analysis AAAI 2024 Agnostic PAC Learning of k-juntas Using L_2-Polynomial Regression AISTATS 2023 A Unifying Formal Approach to Importance Values in Boolean Functions IJCAI 2023 Generalization on the Unseen, Logic Reasoning and Degree Curriculum ICML 2023 Multitask Learning via Shared Features: Algorithms and Hardness COLT 2023 Simplicity Bias in Transformers and their Ability to Learn Sparse Boolean Functions ACL 2023 An Initial Alignment between Neural Network and Target is Needed for Gradient Descent to Learn ICML 2022 Efficiently Learning the Topology and Behavior of a Networked Dynamical System Via Active Queries ICML 2022 Maximum Consensus by Weighted Influences of Monotone Boolean Functions CVPR 2022 Optimizing Binary Decision Diagrams with MaxSAT for Classification AAAI 2022 Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective NeurIPS 2022