conftrace_

step-wise explanation

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

proof analysis (1) constraint solver (1) logic puzzle (1) multi-armed bandit (1) preference elicitation (1) explainable ai (1) active learning (1)

Papers

Preference Elicitation for Step-Wise Explanations in Logic Puzzles AAAI 2026 Using Certifying Constraint Solvers for Generating Step-wise Explanations AAAI 2026