3 papers
cs.RO2025
NOIR 2.0: Neural Signal Operated Intelligent Robots for Everyday Activities
Tasha Kim, Yingke Wang, Hanvit Cho +1
Neural Signal Operated Intelligent Robots (NOIR) system is a versatile brain-robot interface that allows humans to control robots for daily tasks using their brain signals. This in…
cs.RO2025
Gated Uncertainty-Aware Runtime Dual Invariants for Neural Signal-Controlled Robotics
Tasha Kim, Oiwi Parker Jones
Safety-critical assistive systems that directly decode user intent from neural signals require rigorous guarantees of reliability and trust. We present GUARDIAN (Gated Uncertainty-…
cs.CL2025
Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
Abhinav Lalwani, Tasha Kim, Lovish Chopra +3
Translating natural language into formal language such as First-Order Logic (FOL) is a foundational challenge in NLP with wide-ranging applications in automated reasoning, misinfor…