Yilun Hao
8 papers · 2021–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Cross-Pollinator (15) π Conference Polyglot (5) π Renaissance Researcher (5) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (11)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π₯
Unstoppable
(5)
Conferences
CORL (4)
EMNLP (1)
ICLR (1)
ICML (1)
NAACL (1)
Top co-authors
Keywords
large language model
(2)
scene graph
(1)
constrained optimization
(1)
brain-computer interface
(1)
formal verification
(1)
robot learning
(1)
constraint satisfaction
(1)
robot manipulation
(1)
satisfiability problem
(1)
human feedback
(1)
learning from demonstration
(1)
neural signal
(1)
foundation model
(1)
zero-shot generalization
(1)
dynamics mismatch
(1)
gesture recognition
(1)
prompt optimization
(1)
discrete prompt
(1)
heuristic method
(1)
symbolic representation
(1)
Papers
Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming
ICLR 2025
Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
NAACL 2025
CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
ICML 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