4 papers
LLMs and their Limited Theory of Mind: Evaluating Mental State Annotations in Situated Dialogue
Katharine Kowalyshyn, Matthias Scheutz
What if large language models could not only infer human mindsets but also expose every blind spot in team dialogue such as discrepancies in the team members' joint understanding?…
Where Norms and References Collide: Evaluating LLMs on Normative Reasoning
Mitchell Abrams, Kaveh Eskandari Miandoab, Felix Gervits +2
Embodied agents, such as robots, will need to interact in situated environments where successful communication often depends on reasoning over social norms: shared expectations tha…
Achieving Safe Control Online through Integration of Harmonic Control Lyapunov-Barrier Functions with Unsafe Object-Centric Action Policies
Marlow Fawn, Matthias Scheutz
We propose a method for combining Harmonic Control Lyapunov-Barrier Functions (HCLBFs) derived from Signal Temporal Logic (STL) specifications with any given robot policy to turn a…
IntelliProof: An Argumentation Network-based Conversational Helper for Organized Reflection
Kaveh Eskandari Miandoab, Katharine Kowalyshyn, Kabir Pamnani +3
We present IntelliProof, an interactive system for analyzing argumentative essays through LLMs. IntelliProof structures an essay as an argumentation graph, where claims are represe…