conftrace_

solver-guided training

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logic puzzle (1) answer set programming (1) code generation (1) semantic parsing (1)

Papers

A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving AAAI 2026