Jianing Yin
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
NLP×1
Frequent co-authors
Research Timeline
2026
Robust Asynchronous Planning via Auto-Formalization
The paper introduces new benchmarks for complex asynchronous planning and demonstrates that general constraint satisfaction formalizers (like CP-SAT) significantly outperform direct LLM planning or traditional domain-specific formalizers (like PDDL2.1) when handling large, complex, and time-sensitive tasks.
Highlighted terms show continued research focus across papers