2 papers
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…
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…