Get started
Author

Yilun Hao

Observed name: Hao, Yilun
OpenAlex ID: A5113034869
Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
2025 · Yilun Hao, Yongchao Chen, et al. · Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT) · 7
PDF
Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation
2025 · Yongchao Chen, Yilun Hao, et al. · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · 2
PDF
Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming
2024 · Hao, Yilun, Zhang, Yang, et al. · arXiv (Cornell University) · 2
PDF
Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
2024 · Hao, Yilun, Chen, Yongchao, et al. · arXiv (Cornell University) · 2
PDF
Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
2025 · Hao, Yilun, Chen, Yongchao, et al. · arXiv (Cornell University)
PDF
CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
2025 · Chen, Yongchao, Hao, Yilun, et al. · arXiv (Cornell University)
PDF
Search Engines to Capture Missing Deaths From Institutional Data Warehouse
2023 · Yash S. Dayal, Dennis G. Foster, et al. · Journal of Surgical Research
PDF
Works count: 8
Citation count: 13
H-index: 2
I10-index:
Year
Topic
Type