2 papers
cs.CL2026
Counterexample Generation via Per-Theorem Symbolic Verifiers: When Imitation Hurts and Reinforcement Repairs
Omar Farouk Zouak, Houssam Eddine Boukhalfa, Soumaya Lakehal +2
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 activel…
cs.RO2014
Bipedal Model Based on Human Gait Pattern Parameters for Sagittal Plane Movement
Vijay Bhaskar Semwal, S. A. Katiyar, P. Chakraborty +1
The present research as described in this paper tries to impart how imitation based learning for behavior-based programming can be used to teach the robot. This development is a bi…