4 papers
Probabilistic Reachable-Action Verification of Visuomotor Policies via Set-Based Training
Yanliang Huang, Zhuocheng Zhang, Peng Xie +5
Reachability analysis for visuomotor policies is difficult because large visual encoders make end-to-end set propagation computationally expensive and excessively conservative. We…
SURE: Safe Uncertainty-Aware Robot-Environment Interaction using Trajectory Optimization
Zhuocheng Zhang, Haizhou Zhao, Xudong Sun +2
Robotic tasks involving contact interactions pose significant challenges for trajectory optimization due to discontinuous dynamics. Conventional formulations typically assume deter…
FlexRAG: A Flexible and Comprehensive Framework for Retrieval-Augmented Generation
Zhuocheng Zhang, Yang Feng, Min Zhang
Retrieval-Augmented Generation (RAG) plays a pivotal role in modern large language model applications, with numerous existing frameworks offering a wide range of functionalities to…
LevelRAG: Enhancing Retrieval-Augmented Generation with Multi-hop Logic Planning over Rewriting Augmented Searchers
Zhuocheng Zhang, Yang Feng, Min Zhang
Retrieval-Augmented Generation (RAG) is a crucial method for mitigating hallucinations in Large Language Models (LLMs) and integrating external knowledge into their responses. Exis…