Yi Wu's picture

1

Yi Wu PRO

yiwu

·

https://wuyff.github.io/

AI & ML interests

None yet

Recent Activity

authored a paper 29 days ago

TENET: Leveraging Tests Beyond Validation for Code Generation

reacted to lin-tan's post with 🔥 9 months ago

🚀 Excited to share that our paper, "SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models", has been accepted to #ICRA2025! 🔗 Preprint: https://arxiv.org/pdf/2409.19471 We introduce SELP (Safe Efficient LLM Planner), a novel approach for generating plans that adhere to user-specified constraints while optimizing for time-efficient execution. By leveraging linear temporal logic (LTL) to interpret natural language commands, SELP effectively handles complex commands and long-horizon tasks. 🤖 💡SELP presents three key insights: 1️⃣ Equivalence Voting: Ensures robust translations from natural language instructions into LTL specifications. 2️⃣ Constrained Decoding: Uses the generated LTL formula to guide the autoregressive inference of plans, ensuring the generated plans conform to the LTL. 3️⃣ Domain-Specific Fine-Tuning: Customizes LLMs for specific robotic tasks, boosting both safety and efficiency. 📊 Experiment: Our experiments demonstrate SELP’s effectiveness and generalizability across diverse tasks. In drone navigation, SELP outperforms state-of-the-art LLM planners by 10.8% in safety rate and by 19.8% in plan efficiency. For robot manipulation, SELP achieves a 20.4% improvement in safety rate. @yiwu @jiang719 #ICRA2025 #LLM #Robotics #Agent #LLMPlanner

upvoted a paper 12 months ago

Can Language Models Replace Programmers? REPOCOD Says 'Not Yet'

View all activity

Organizations

authored a paper 29 days ago

TENET: Leveraging Tests Beyond Validation for Code Generation

Paper • 2509.24148 • Published Sep 29 • 3