Kedar Joshi

2papers

2 Papers

CLFeb 1
Don't Judge a Book by its Cover: Testing LLMs' Robustness Under Logical Obfuscation

Abhilekh Borah, Shubhra Ghosh, Kedar Joshi et al.

Tasks such as solving arithmetic equations, evaluating truth tables, and completing syllogisms are handled well by large language models (LLMs) in their standard form, but they often fail when the same problems are posed in logically equivalent yet obfuscated formats. To study this vulnerability, we introduce Logifus, a structure-preserving logical obfuscation framework, and, utilizing this, we present LogiQAte, a first-of-its-kind diagnostic benchmark with 1,108 questions across four reasoning tasks: (i) Obfus FOL (first-order logic entailment under equivalence-preserving rewrites), (ii) Obfus Blood Relation (family-graph entailment under indirect relational chains), (iii) Obfus Number Series (pattern induction under symbolic substitutions), and (iv) Obfus Direction Sense (navigation reasoning under altered directions and reference frames). Across all the tasks, evaluating six state-of-the-art models, we find that obfuscation severely degrades zero-shot performance, with performance dropping on average by 47% for GPT-4o, 27% for GPT-5, and 22% for reasoning model, o4-mini. Our findings reveal that current LLMs parse questions without deep understanding, highlighting the urgency of building models that genuinely comprehend and preserve meaning beyond surface form.

SYJul 6, 2017
Trajectory Tracking Using Motion Primitives for the Purcell's Swimmer

Sudin Kadam, Kedar Joshi, Naman Gupta et al.

Locomotion at low Reynolds numbers is a topic of growing interest, spurred by its various engineering and medical applications. This paper presents a novel prototype and a locomotion algorithm for the 3-link planar Purcell's swimmer based on Lie algebraic notions. The kinematic model based on Cox theory of the prototype swimmer is a driftless control-affine system. Using the existing strong controllability and related results, the existence of motion primitives is initially shown. The Lie algebra of the control vector fields is then used to synthesize control profiles to generate motions along the basis of the Lie algebra associated with the structure group of the system. An open loop control system with vision-based positioning is successfully implemented which allows tracking any given continuous trajectory of the position and orientation of the swimmer's base link. Alongside, the paper also provides a theoretical interpretation of the symmetry arguments presented in the existing literature to generate the control profiles of the swimmer.