Skip to content

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Sep 2026

Schema: Discovering Unknown Environments via Agentic Program Induction

Learning to complete tasks in unfamiliar environments with unknown rules remains a key challenge for LLM agents. Current LLM agents often record their discoveries in prose, which may not provide a compact, explicit account of how the environment works. Inspired by how scientists organize observations into testable, pre...

Guan-Ning Zeng, Jia-Ni Wang, Wenjie Ma et al. · 0 citations
Review Aug 2026

Teaching Geometric Proof with Tech: Pitfalls and Possibilities

Four technical and human-centered design guidelines for educational proof tools to meet teacher needs at scale are proposed: integrating diagram and proof, generating problems and feedback automatically, supporting multiple proof formats, and reducing accidental complexity in the user experience.

Hwei-Shin Harriman, Wode Ni, Yuchen Jin et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.