conftrace_

Changliu Liu

31 papers · 2020–2026 · 10 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓
+12 more ↓ πŸƒ Academic Marathon (5) πŸŒ‰ Interdisciplinary Bridge 🌍 Conference Polyglot (10) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (8)
🐝 Cross-Pollinator (8) 🌈 Renaissance Researcher (9) πŸ—ΊοΈ Taxonomy Completionist (37) πŸ† Keyword Champion (2) πŸ† Grand Slam 🌱 Topic Pioneer πŸ“ˆ Trend Setter πŸ’Ž Century Club (30) ⚑ Prolific Year (9) πŸ—ƒοΈ Keyword Collector (99) πŸ”₯ Unstoppable (6) πŸš€ Conference Pioneer

Conferences

CORL (10) L4DC (8) RSS (5) AAAI (2) ECCV (1) ICCV (1) ICLR (1) ICML (1) IJCAI (1) NIPS (1)

Papers

Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint) AAAI 2026 Learn With Imagination: Safe Set Guided State-wise Constrained Policy Optimization L4DC 2025 Demonstrating ViSafe: Vision-enabled Safety for High-speed Detect and Avoid RSS 2025 Generating Physically Stable and Buildable Brick Structures from Text ICCV 2025 ThinkBot: Embodied Instruction Following with Thought Chain Reasoning ICLR 2025 Safe PDE Boundary Control with Neural Operators L4DC 2025 Continual Learning and Lifting of Koopman Dynamics for Linear Control of Legged Robots L4DC 2025 Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems RSS 2025 ASAP: Aligning Simulation and Real-World Physics for Learning Agile Humanoid Whole-Body Skills RSS 2025 APEX-MR: Multi-Robot Asynchronous Planning and Execution for Cooperative Assembly RSS 2025 Absolute Policy Optimization: Enhancing Lower Probability Bound of Performance with High Confidence ICML 2024 OmniH2O: Universal and Dexterous Human-to-Humanoid Whole-Body Teleoperation and Learning CORL 2024 Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation CORL 2024 Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills CORL 2024 KOROL: Learning Visualizable Object Feature with Koopman Operator Rollout for Manipulation CORL 2024 ManiGaussian: Dynamic Gaussian Splatting for Multi-task Robotic Manipulation ECCV 2024 NN4SysBench: Characterizing Neural Network Verification for Computer Systems NIPS 2024 Real-time safe control of neural network dynamic models with sound approximation L4DC 2024 Agile But Safe: Learning Collision-Free High-Speed Legged Locomotion RSS 2024 AutoCost: Evolving Intrinsic Cost for Zero-Violation Reinforcement Learning AAAI 2023 Probabilistic Safeguard for Reinforcement Learning Using Safety Index Guided Gaussian Process Models L4DC 2023 Online Model Adaptation with Feedforward Compensation CORL 2023 State-wise Safe Reinforcement Learning: A Survey IJCAI 2023 Safe Control with Neural Network Dynamic Models L4DC 2022 Safe Control Under Input Limits with Neural Control Barrier Functions CORL 2022 ARC - Actor Residual Critic for Adversarial Imitation Learning CORL 2022 Joint Synthesis of Safety Certificate and Safe Control Policy Using Constrained Reinforcement Learning L4DC 2022 Model-free Safe Control for Zero-Violation Reinforcement Learning CORL 2021 Robust Online Model Adaptation by Extended Kalman Filter with Exponential Moving Average and Dynamic Multi-Epoch Strategy L4DC 2020 Tolerance-Guided Policy Learning for Adaptable and Transferrable Delicate Industrial Insertion CORL 2020 Augmenting GAIL with BC for sample efficient imitation learning CORL 2020