Chuchu Fan
33 papers · 2019–2026 · 10 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+11 more ↓ Show less ↑
π Academic Marathon (6) π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (10) π Cross-Pollinator (9)
πΊοΈ
Taxonomy Completionist
(46)
π
Conference Polyglot
(10)
π
Academic Marathon
(6)
π
Grand Slam
π
Keyword Champion
(4)
π§¬
Topic Evolution
π₯
Unstoppable
(7)
β‘
Prolific Year
(6)
π
Century Club
(32)
β
The Questioner
ποΈ
Keyword Collector
(129)
Conferences
CORL (7)
ICLR (5)
L4DC (4)
RSS (4)
AAAI (3)
ICML (3)
EMNLP (2)
NAACL (2)
NIPS (2)
ACL (1)
Top co-authors
Keywords
lyapunov function
(4)
model predictive control
(4)
neural network
(4)
reinforcement learning
(3)
constrained optimization
(3)
collision avoidance
(3)
motion planning
(3)
multi-agent system
(2)
graph neural network
(2)
control barrier function
(2)
safety verification
(2)
contraction metric
(2)
constraint satisfaction
(2)
formal verification
(2)
optimal control
(2)
large language model
(2)
trajectory prediction
(1)
distributed learning
(1)
image generation
(1)
information extraction
(1)
Papers
Optimization of Multi-Agent Flying Sidekick Traveling Salesman Problem over Road Networks
AAAI 2026
Rare event modeling with self-regularized normalizing flows: what can we learn from a single failure?
ICLR 2025
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
Discrete GCBF Proximal Policy Optimization for Multi-agent Safe Optimal Control
ICLR 2025
Steering Large Language Models between Code Execution and Textual Reasoning
ICLR 2025
Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming
ICLR 2025
CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
ICML 2025
TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching
ICML 2025
Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
NAACL 2025
Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL
RSS 2025
Safe Beyond the Horizon: Efficient Sampling-based MPC with Neural Control Barrier Functions
RSS 2025
Solving Minimum-Cost Reach Avoid using Reinforcement Learning
NIPS 2024
PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Heuristic-based Sampling
EMNLP 2024
Learning to stabilize high-dimensional unknown systems using Lyapunov-guided exploration
L4DC 2024
Hybrid Systems Neural Control with Region-of-Attraction Planner
L4DC 2023
Compositional Neural Certificates for Networked Dynamical Systems
L4DC 2023
Solving Stabilize-Avoid via Epigraph Form Optimal Control using Deep Reinforcement Learning
RSS 2023
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models
EMNLP 2023
Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control
CORL 2023
A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling
CORL 2023
A Meta-framework for Spatiotemporal Quantity Extraction from Text
ACL 2022
Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding
NIPS 2022
Certifiable Robot Design Optimization using Differentiable Programming
RSS 2022
Learning Safe Multi-agent Control with Decentralized Neural Barrier Certificates
ICLR 2021
Learning Density Distribution of Reachable States for Autonomous Systems
CORL 2021
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions
CORL 2021
Uncertain-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric
L4DC 2021
Density Constrained Reinforcement Learning
ICML 2021
Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances
AAAI 2021
Learning Certified Control Using Contraction Metric
CORL 2020
Reactive motion planning with probabilisticsafety guarantees
CORL 2020
Partial Or Complete, Thatβs The Question
NAACL 2019