5 citations · 7 across the 6 of their papers we have counts for
6 papers
Linear Temporal Logic Translation via Human-Inspired Self-Constrained Reasoning for Robot Task Specification
Haofei Hou, Fanxu Meng, Shunyi Zhao +4
Many robotic tasks are temporally extended and demand precise specifications of subgoals, constraints, and their temporal ordering. Yet human operators typically communicate such t…
BioPIE: A Biomedical Protocol Information Extraction Dataset for Experiment Understanding
Haofei Hou, Shunyi Zhao, Fanxu Meng +3
Understanding biomedical experiments provides a foundation for downstream tasks, e.g., laboratory automation, and facilitates effective cross-disciplinary communication. Two challe…
Hierarchically Encapsulated Representation for Protocol Design in Self-Driving Labs
Yu-Zhe Shi, Mingchen Liu, Fanxu Meng +5
Self-driving laboratories have begun to replace human experimenters in performing single experimental skills or predetermined experimental protocols. However, as the pace of idea i…
Expert-level protocol translation for self-driving labs
Yu-Zhe Shi, Fanxu Meng, Haofei Hou +4
Recent development in Artificial Intelligence (AI) models has propelled their application in scientific discovery, but the validation and exploration of these discoveries require s…
Abstract Hardware Grounding towards the Automated Design of Automation Systems
Yu-Zhe Shi, Qiao Xu, Fanxu Meng +2
Crafting automation systems tailored for specific domains requires aligning the space of human experts' semantics with the space of robot executable actions, and scheduling the req…
AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints
Yu-Zhe Shi, Haofei Hou, Zhangqian Bi +4
Accurate representation of procedures in restricted scenarios, such as non-standardized scientific experiments, requires precise depiction of constraints. Unfortunately, Domain-spe…