Author

Bjoern Hartmann

h-index 6 View on Semantic Scholar

We have 3 of 20 papers

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.

Book Open access Nov 2026

Interactively Teaching Collaborative Physical Tasks to Generative AI with Narrated Demonstrations

Enabling users to teach computers how to perform physical tasks is a long-standing goal in HCI. Prior work has explored learning from demonstration, but demonstrations often underspecify intent. Advances in generative AI enable a combination of demonstration and verbal narration to disambiguate intent. However, it rema...

Edward Kim, Daniel He, Jorge Diaz Chao et al. · 0 citations

#human-computer interacti... Preprint Sep 2026

LeanSide: A Formally Verified Co-Reasoning System for Natural-language Proofs

Large language models are increasingly used as collaborators on deductive-reasoning tasks, but their outputs can hallucinate or pull users away from intended reasoning. Formal proof assistants provide machine-checked verification, but have a steep learning curve and require more granular reasoning than human written pr...

Chen-Jun Guo, Manooshree Patel, Arnav Mehta et al. · 0 citations

Preprint Aug 2026

Who's Keeping Score? Interactive Steering of LLM-Powered Scoring with Attune

Attune is presented, a mixed-initiative system for steerable LLM-powered scoring that performs pairwise comparisons across records to develop a global understanding first, and then resolves these comparisons into consistent score assignments-deriving scoring criteria and rules bottom-up in the process.

Bhavya Chopra, Meng Chen, Rebecca Dang et al. · 0 citations