3 papers
cs.AI2026
Provably Complete Generalized Planning with LLMs
Katharina Stein, Chaahat Jain, Jörg Hoffmann +1
Generalized planning aims to compute a plan that solves all instances of a planning domain. Recent work has used LLMs to automatically generate and debug such generalized plans in…
cs.AI2026
Algorithms for Deciding the Safety of States in Fully Observable Non-deterministic Problems: Technical Report
Johannes Schmalz, Chaahat Jain
Learned action policies are increasingly popular in sequential decision-making, but suffer from a lack of safety guarantees. Recent work introduced a pipeline for testing the safet…
cs.LO2023
SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning
Martin Bromberger, Chaahat Jain, Christoph Weidenbach
We show that SCL(FOL) can simulate the derivation of non-redundant clauses by superposition for first-order logic without equality. Superposition-based reasoning is performed with…