1 citations · 1 across the 4 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.AI2026
A computable representation of the physical laboratory enables verifiable workflows
Xiaobo Li, Luyao Ge, Xiaohui Li +8
Making science computable requires representations of both scientific knowledge and the physical world in which scientific claims are tested. A computable representation of the phy…
cs.AI2026★ 1 cited
Stress-testing large language model agents in a robotic chemistry laboratory
Lulu Guo, Yingkai Sun, Xiaobo Li +13
AI is evaluated through knowledge, reasoning and plan generation, yet scientific agency requires reliable physical action and adaptation to evidence. Here, we use a robotic chemist…
cs.AI2026
Language models guide symbolic equation discovery by controlling search
Zikai Xie, Wenmei Li, Man Luo +2
Scientific equation discovery must combine broad domain priors with strict numerical testing. Symbolic regression supplies numerical grounding but faces a combinatorial search spac…