2 papers
cs.AI2026
Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning
Zhiyu Ni, Zheng Liang, Liangcheng Song +4
Auto-formalization (AF) translates natural-language reasoning problems into solver-executable programs, enabling symbolic solvers to perform sound logical deduction. In practice, h…
cs.LG2025
Combining Large Language Models and Gradient-Free Optimization for Automatic Control Policy Synthesis
Carlo Bosio, Matteo Guarrera, Alberto Sangiovanni-Vincentelli +1
Large Language models (LLMs) have shown promise as generators of symbolic control policies, producing interpretable program-like representations through iterative search. However,…