Skip to content
Log in
Sponsored AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI

Author

S. Katiyar

View on Semantic Scholar

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Oct 2026

Counterexample Generation via Per-Theorem Symbolic Verifiers: When Imitation Hurts and Reinforcement Repairs

Large language models often solve a theorem forward yet fail to disprove a closely related false one: a falsification gap that supervised fine-tuning does not close and can actively worsen. We frame counterexample generation as constrained witness emission against a deterministic per-theorem Python verifier, and releas...

Omar Farouk Zouak, Houssam Eddine Boukhalfa, Soumaya Lakehal et al. · 0 citations
Open access Aug 2026

A Novel Soft Gripper Featuring a Self-Bending Contraction Actuator (SBCA) with Reconfigurable Bending Characteristics

Soft pneumatic actuators are widely used in robotic manipulation due to their compliance and adaptability; however, their performance is typically fixed at the fabrication stage, limiting their suitability for applications requiring task-specific tuning. This paper presents a reconfigurable self-bending contraction act...

Rowan Dressel, S. Katiyar, S. Nefti-Meziani et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.