Yilun Hao

8 papers · 2021–2025 · 5 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Silver 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (13) 🐣 Hot Topic Early Bird 🔥 Unstoppable · Bronze

Venues

CoRL (4) EMNLP (1) ICLR (1) ICML (1) NAACL (1)

Top co-authors

Yang Zhang (4) Chuchu Fan (4) Yongchao Chen (3) Dorsa Sadigh (2) Ayano Hiranaka (2) Li Fei-fei (2) Jiajun Wu (2) Chen Wang (2) Ruohan Zhang (2) Gabrael Levine (1)

Research topics

Artificial Intelligence (7) Core AI (7) Machine Learning (3) Natural Language Processing (2) Reinforcement Learning (2) Applications (2) Optimization & Theory (2) Knowledge & Reasoning (1) Generation (1) Learning Types (1) Methods (1) Reasoning (1) Resources & Methods (1)

Keywords

large language model (3) constraint satisfaction (2) constrained optimization (1) formal verification (1) robot learning (1) foundation model (1) robot manipulation (1) dynamics mismatch (1) satisfiability problem (1) human feedback (1) learning from demonstration (1) neural signal (1) multi-step planning (1) zero-shot generalization (1) brain-computer interface (1) gesture recognition (1) prompt optimization (1) discrete prompt (1) heuristic method (1) scene graph (1)

Papers

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance ICML 2025 Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools NAACL 2025 Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming ICLR 2025 PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Heuristic-based Sampling EMNLP 2024 Gesture-Informed Robot Assistance via Foundation Models CoRL 2023 NOIR: Neural Signal Operated Intelligent Robots for Everyday Activities CoRL 2023 A Dual Representation Framework for Robot Learning with Human Guidance CoRL 2022 Learning Feasibility to Imitate Demonstrators with Different Dynamics CoRL 2021