Author

Dominik Moritz

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.

#human-computer interacti... Review Sep 2026

Point, Revise, Review: Grounded Agentic Analysis in Reactive Notebooks with marimo-lens

This work presents marimo-lens, an extension to the reactive Python notebook marimo for grounded human-agent analysis that connects a human's marked output and note to its producing cell and relevant contributing computation, giving the agent computational context for the request.

Péter Ferenc Gyarmati, Trevor Manz, Dominik Moritz 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