conftrace_

constraint-driven learning

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

false negative detection (1) failure explanation (1) search efficiency (1) weighted training (1) logical constraint (1) constraint learning (1) inductive logic programming (1) program correctness (1) partial annotation (1) program synthesis (1)

Papers

Constraint-Driven Learning of Logic Programs AAAI 2021 Named Entity Recognition with Partially Annotated Training Data CoNLL 2019