Workshop
BioProAgent: Neuro-Symbolic Grounding for Constrained Scientific Planning
A neuro-symbolic framework that anchors LLM planning in deterministic Finite State Machines (FSM) for reliable wet-lab automation. Achieves 95.6% physical compliance for irreversible scientific experiments.
- State-Augmented Planning: Design-Verify-Rectify workflow ensuring hardware compliance
- Semantic Symbol Grounding: 6x token reduction through symbolic abstraction
- 95.6% physical compliance vs 21.0% for ReAct on BioProBench