3 papers
cs.RO2026
SG-CADVLM: A Context-Aware Decoding Powered Vision Language Model for Safety-Critical Scenario Generation
Hongyi Zhao, Shuo Wang, Qijie He +1
Autonomous Vehicle (AV) requires rigorous testing in safety-critical scenarios for safety validation, yet its validation is hindered by the high cost of field testing and the lack…
cs.LG2025
Risk-Informed Diffusion Transformer for Long-Tail Trajectory Prediction in the Crash Scenario
Junlan Chen, Pei Liu, Zihao Zhang +3
Trajectory prediction methods have been widely applied in autonomous driving technologies. Although the overall performance accuracy of trajectory prediction is relatively high, th…
cs.LG2025
LemmaHead: RAG Assisted Proof Generation Using Large Language Models
Tianbo Yang, Mingqi Yan, Hongyi Zhao +1
Developing the logic necessary to solve mathematical problems or write mathematical proofs is one of the more difficult objectives for large language models (LLMS). Currently, the…