3 papers
cs.RO2026
PhoneBot: A Low-Cost Open Humanoid Robot Platform Reusing Smartphones
Ruochen Hou, Quanyou Wang, Daniel Koh +1
The adoption of humanoid robots in education and research remains limited by high hardware costs, complex sensing systems, and substantial computational requirements. This paper pr…
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…