This C++ code is designed to analyze and process logical (propositional) formulas, with the ultimate goal of generating a truth table and constructing the Conjunctive Normal Form (CNF) and Disjunctive ...

This repository contains the methods and experiments for the paper "Disentangling Neural Disjunctive Normal Form Models". We identify that performance degradation in the post-training symbolic ...