6 papers
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…
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…
Effective Explanations Support Planning Under Uncertainty
Hanqi Zhou, Britt Besch, Charley M. Wu +1
Explaining how to get from A to B can be challenging. It requires mentally simulating what the listener will do based on what they are told. To capture this process, we propose a c…
Agent-centric learning: from external reward maximization to internal knowledge curation
Hanqi Zhou, Fryderyk Mantiuk, David G. Nagy +1
The pursuit of general intelligence has traditionally centered on external objectives: an agent's control over its environments or mastery of specific tasks. This external focus, h…
Analogy making as amortised model construction
David G. Nagy, Tingke Shen, Hanqi Zhou +2
Humans flexibly construct internal models to navigate novel situations. To be useful, these internal models must be sufficiently faithful to the environment that resource-limited p…
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…