2 papers
cs.RO2026
MiNI-Q: A Miniature, Wire-Free Quadruped with Unbounded, Independently Actuated Leg Joints
Daniel Koh, Suraj Shah, Yufeng Wu +1
Physical joint limits are common in legged robots and can restrict workspace, constrain gait design, and increase the risk of hardware damage. This paper introduces MiNI-Q^2, a min…
cs.SE2025
Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
Daniel Koh, Yannic Noller, Corina S. Pasareanu +2
Large language models (LLMs) have demonstrated strong performance on coding tasks such as generation, completion and repair, but their ability to handle complex symbolic reasoning…