conftrace_

counterexample generation

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neural network (3) intuitionistic propositional logic (1) minimal model generation (1) countermodel generation (1) symmetric difference (1) intuitionistic logic (1) kripke semantics (1) minimal model (1) error table (1) model generation (1)

Papers

Learning from Equivalence Queries, Revisited COLT 2026 Efficient Counterexample-Guided Fairness Verification and Repair of Neural Networks Using Satisfiability Modulo Convex Programming IJCAI 2025 An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic IJCAI 2019 Counterexample-Guided Data Augmentation IJCAI 2018 Efficient Formal Safety Analysis of Neural Networks NeurIPS 2018