2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.AI2026
Model Space Reasoning as Search in Feedback Space for Planning Domain Generation
James Oswald, Daniel Obolensky, Volodymyr Varha +5
The generation of planning domains from natural language descriptions remains an open problem even with the advent of large language models and reasoning models. Recent work sugges…
cs.CL2024★ 1 cited
Large Language Models as Planning Domain Generators
James Oswald, Kavitha Srinivas, Harsha Kokel +3
Developing domain models is one of the few remaining places that require manual human labor in AI planning. Thus, in order to make planning more accessible, it is desirable to auto…
cs.LO2023★ 2 cited
Parallel Verification of Natural Deduction Proof Graphs
James T. Oswald, Brandon Rozek
Graph-based interactive theorem provers offer a visual representation of proofs, explicitly representing the dependencies and inferences between each of the proof steps in a graph…