3 papers
cs.HC2026
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…
cs.LG2026
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…
cs.PL2024
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…