4 citations · 6 across the 9 of their papers we have counts for
4 papers · 1 filter
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…