3 papers
cs.CL2026
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…
cs.RO2025
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…
cs.CL2025
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…