4 citations · 6 across the 9 of their papers we have counts for
9 papers
What Is Worth Representing? Representational Empowerment for Continual Model Construction
Fei Dai, Hanqi Zhou, Alison Gopnik +1
The first problem of modeling the world is not just estimating the right parameters or causal structure, but deciding what should be represented at all. We frame this problem as co…
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…
Harmonizing Program Induction with Rate-Distortion Theory
Hanqi Zhou, David G. Nagy, Charley M. Wu
Many aspects of human learning have been proposed as a process of constructing mental programs: from acquiring symbolic number representations to intuitive theories about the world…
Predictive, scalable and interpretable knowledge tracing on structured domains
Hanqi Zhou, Robert Bamler, Charley M. Wu +1
Intelligent tutoring systems optimize the selection and timing of learning materials to enhance understanding and long-term retention. This requires estimates of both the learner's…