2 papers
cs.PL2026
Agentic Planning for Symbolic Execution
Daniel Koh Ji Yang, Yannic Noller, Corina S. Pasareanu +1
Symbolic execution seeks to explore feasible program paths, yet a practical run may exhaust its resources while much program behaviour remains unreached. We investigate a complemen…
cs.SE2025
Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
Daniel Koh, Yannic Noller, Corina S. Pasareanu +2
Large language models (LLMs) have demonstrated strong performance on coding tasks such as generation, completion and repair, but their ability to handle complex symbolic reasoning…