1 citations · 3 across the 7 of their papers we have counts for
7 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…
Targeted control of fast prototyping through domain-specific interface
Yu-Zhe Shi, Mingchen Liu, Hanlu Ma +5
Industrial designers have long sought a natural and intuitive way to achieve the targeted control of prototype models -- using simple natural language instructions to configure and…
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…
An Illumination-Robust Feature Extractor Augmented by Relightable 3D Reconstruction
Shunyi Zhao, Zehuan Yu, Zuxin Fan +3
Visual features, whose description often relies on the local intensity and gradient direction, have found wide applications in robot navigation and localization in recent years. Ho…