vix.ing · top · new · best · stats · spec

Chen, Yongchao

  1. Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
    2024/04/18 by Hao, Yilun, Chen, Yongchao, Zhang, Yang +1 · 19 citations
    #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC)
  2. CRAB: Cross-environment Agent Benchmark for Multimodal Language Model Agents
    2024/07/01 by Tianqi Xu, Xu, Tianqi, Linyao Chen +23 · 6 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Multi-Agent Systems and Negotiation #Natural Language Processing Techniques #Speech and dialogue systems
  3. Agentic Robot: A Brain-Inspired Framework for Vision-Language-Action Models in Embodied Agents
    2025/05/29 by Yang, Zhejian, Chen, Yongchao, Zhou, Xueyang +8 · 9 citations
    #FOS: Computer and information sciences #Robotics (cs.RO)
  4. R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
    2025/05/27 by Chen, Yongchao, Liu, Yueying, Zhou, Junwei +5 · 6 citations
    #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Symbolic Computation (cs.SC)
  5. LIBERO-PRO: Towards Robust and Fair Evaluation of Vision-Language-Action Models Beyond Memorization
    2025/10/04 by Xueyang Zhou, Y. P. Xu, Zhou, Xueyang +12 · 8 citations
    Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Robotics (cs.RO)
  6. CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
    2025/02/04 by Yongchao Chen, Chen, Yongchao, Yilun Hao +7 · 3 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Software Engineering (cs.SE) #Speech and dialogue systems #Symbolic Computation (cs.SC) #Topic Modeling
  7. Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation
    2025/03/03 by Yongchao Chen, Yilun Hao, Chen, Yongchao +5 · 3 citations
    Computer Science · #AI-based Problem Solving and Planning #Model-Driven Software Engineering Techniques #Natural Language Processing Techniques
  8. TUMIX: Multi-Agent Test-Time Scaling with Tool-Use Mixture
    2025/09/30 by Y. F. Chen, J.-C. CHEN, Chen, Yongchao +14 · 3 citations
    Computer Science · Engineering · #Software Testing and Debugging Techniques #Real-time simulation and control systems #Software System Performance and Reliability
  9. AuDeRe: Automated Strategy Decision and Realization in Robot Planning and Control via LLMs
    2025/04/03 by Meng, Yue, Chen, Fei, Chen, Yongchao +1 · 2 citations
    #FOS: Computer and information sciences #Robotics (cs.RO)