4 papers
Schema: Discovering Unknown Environments via Agentic Program Induction
Guanning Zeng, Jiani Wang, Wenjie Ma +8
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 m…
Teaching Geometric Proof with Tech: Pitfalls and Possibilities
Hwei-Shin Harriman, Wode Ni, Yuchen Jin +2
Geometric proof is a foundational yet challenging topic in mathematics, requiring students to integrate visual, logical, and notational skills. While technology has enhanced learni…
Feynman: Knowledge-Infused Diagramming Agent for Scalable Visual Designs
Zixin Wen, Yifu Cai, Kyle Lee +5
Visual design is an essential application of state-of-the-art multi-modal AI systems. Improving these systems requires high-quality vision-language data at scale. Despite the abund…
Rose: Composable Autodiff for the Interactive Web
Sam Estep, Wode Ni, Raven Rothkopf +1
Reverse-mode automatic differentiation (autodiff) has been popularized by deep learning, but its ability to compute gradients is also valuable for interactive use cases such as bid…