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 ...

Abstract: A novel implicit parametric shape model is proposed for segmentation and analysis of medical images. Functions representing the shape of an object can be approximated as a union of N ...