BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
BarrierBench: 评估大型语言模型在动态系统安全验证中的性能
Ali Taheri, Alireza Taban, Sadegh Soudjani, Ashutosh Trivedi
机构
*
Isfahan University of Technology(伊斯法罕技术大学)
;
Max Planck Institute for Software Systems(马克斯·普朗克软件系统研究所)
;
University of Colorado Boulder(科罗拉多大学博尔德分校)
Query pipeline optimization for cancer patient question answering systems
癌症患者问答系统中的查询管道优化
Maolin He, Rena Gao, Mike Conway, Brian E. Chapman
机构
*
School of Computing and Information Systems, University of Melbourne(墨尔本大学计算与信息系统学院)
;
Health Data Science and Biostatistics, University of Texas Southwestern Medical Center(德克萨斯西南医学中心健康数据科学与生物统计学)
VideoStir: Understanding Long Videos via Spatio-Temporally Structured and Intent-Aware RAG
VideoStir:通过时空结构化和意图感知的RAG理解长视频
Honghao Fu, Miao Xu, Yiwei Wang, Dailing Zhang, Jun Liu, Yujun Cai
机构
*
University of Queensland(昆士兰大学)
;
University of California, Merced(加州大学默塞德分校)
;
Institute of Automation, CAS(中国科学院自动化研究所)
;
Lancaster University(兰卡斯特大学)
Enhancing Mental Health Counseling Support in Bangladesh using Culturally-Grounded Knowledge
在孟加拉国增强心理健康咨询支持:基于文化根基的知识
Md Arid Hasan, Azhagu Meena SP, Aditya Khan, Abu Md Akteruzzaman Bhuiyan, Helal Uddin Ahmed, Joysree Debi, Farig Sadeque, Annie En-Shiun Lee, Syed Ishtiaque Ahmed
机构
*
University of Toronto(多伦多大学)
;
mPower Social Enterprises Ltd(mPower社会企业有限公司)
;
National Institute of Mental Health(心理健康国家研究所)
;
Sajida Foundation(萨吉达基金会)
;
BRAC University(BRAC大学)