Chuchu Fan
33 papers · 2019–2026 · 10 venues · across top CS/AI venues
This profile combines several different researchers. Authors are keyed by name, and this name's papers fall into 8 separate collaboration groups - the largest holds only 27% of them. Pick the group below that matches the researcher you mean. How a shared name is split.
Achievements are not shown for a combined profile - each one describes a single researcher's record, which this is not.
Which Chuchu Fan?
5 groups of papers that share co-authors internally but none with each other - each most likely a different researcher. Pick one to see its papers.
with Yongchao Chen, Yang Zhang, Yilun Hao
6 papers
· 2023–2025
· ICLR, EMNLP, ICML
Hide ▲
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
Steering Large Language Models between Code Execution and Textual Reasoning
ICLR 2025
PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Heuristic-based Sampling
EMNLP 2024
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models
EMNLP 2023
3 papers whose co-authors appear nowhere else under this name
Optimization of Multi-Agent Flying Sidekick Traveling Salesman Problem over Road Networks
AAAI 2026
Cost-aware Discovery of Contextual Failures using Bayesian Active Learning
CoRL 2025
Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling
AAAI 2025