6 citations · 13 across the 9 of their papers we have counts for
Showing 2026 · cs.AIShow all
2 papers · 2 filters
cs.AI2026
Enhancing Query Efficiency for d-DNNF Representations Through Preprocessing
Jean Marie Lagniez, Emmanuel Lonca
In this paper, we investigate preprocessing techniques aimed at improving the efficiency of accessing models of propositional formulas represented in conjunctive normal form (CNF).…
cs.AI2026
Explanation Quality Assessment as Ranking with Listwise Rewards
Thomas Bailleux, Tanmoy Mukherjee, Emmanuel Lonca +2
We reformulate explanation quality assessment as a ranking problem rather than a generation problem. Instead of optimizing models to produce a single "best" explanation token-by-to…