Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis
Han Zhou, Yu Luo, Dianxiang Xu
Generating formal specifications for C programs remains a challenge in formal verification due to the manual effort, expertise, and semantic precision required. While recent advanc…
cs.AI2026
Path-dependent program induction under resource constraints explains human sequence learning
Hanqi Zhou, David G. Nagy, Peter Dayan +1
How do people build abstract, reusable knowledge from sequential experience under bounded cognitive resources? To answer this question, we integrate rate-distortion theory with rec…
cs.AI2025
From Curiosity to Competence: How World Models Interact with the Dynamics of Exploration
Fryderyk Mantiuk, Hanqi Zhou, Charley M. Wu
What drives an agent to explore the world while also maintaining control over the environment? From a child at play to scientists in the lab, intelligent agents must balance curios…