activity
20242026
most citedAutoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection

4 citations · 4 across the 5 of their papers we have counts for

collaborators

6 papers

cs.RO2026

Declarative Reactive Robot Behaviors from Imperative Language Models

Vincent Berenz, Tasha Kim, Bernhard Schölkopf

Large Language Models (LLMs) are predominantly trained on imperative programming languages, and existing work on LLM-based robot programming reflects this: it focuses on goal-direc…

cs.LG2026

The 2026 PNPL Competition: Word Classification and Efficient Cross-Subject Generalisation in LibriBrain100

Francesco Mantegna, Gereon Elvers, Dulhan Jayalath +18

The ambition of the 2025 PNPL competition (Landau et al., 2025) was to launch a multi-year curriculum for non-invasive speech decoding. Designed to progress from foundational tasks…

cs.LG2026

LibriBrain100: One Hundred Hours of Broad and Deep MEG Data for Neural Speech Decoding at Scale

Francesco Mantegna, Dulhan Jayalath, Gereon Elvers +12

We introduce LibriBrain100, a large-scale MEG dataset for speech decoding designed from the ground up for reproducible, standardised evaluation. LibriBrain100 more than doubles the…

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.CL2024★ 4 cited

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…