Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Haiyan Yin
Observed name:
Yin, Haiyan
Institution:
Agency for Science, Technology and Research
Observed institution:
Agency for Science, Technology and Research
OpenAlex ID:
A5135407476
Lifting Traces to Logic: Programmatic Skill Induction with Neuro-Symbolic Learning for Long-Horizon Agentic Tasks
2026
·
Shao, Jie-Jing
, Yin, Haiyan
, et al.
·
arXiv (Cornell University)
·
7
PDF
LTLDiff: Finite Linear Temporal Logic-Guided Data Generation and Diffusion Policies for Multi-agent Robotic Manipulation
2026
·
Meng, Chuhan
, Yin, Haiyan
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
2
Citation count:
7
H-index:
1
I10-index:
Year
Topic
Type
