BULL: A Library for Learning Algorithms of Boolean Functions
Abstract elided by the publisher.
Related papers
- Learning Boolean Functions Incrementally CAV 2012
- Program equivalence in a linear functional language JFP 2000
- Manthan: A Data-Driven Approach for Boolean Function Synthesis CAV 2020
- Categorical Foundations of Gradient-Based Learning ESOP 2022
- Top-Down Synthesis for Library Learning POPL 2023
- A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis TOPLAS 2019
- babble: Learning Better Abstractions with E-Graphs and Anti-unification POPL 2023
- OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust TACAS 2024