以部署为中心的评估
论文《Deployment-Centered Evaluation: Predicting Query-Level Rejection Risk in a Clinical LLM System》由Alyssa Unell等六位作者撰写,于2026年6月10日提交至arXiv预印本平台。该研究聚焦临床大型语言模型(LLM)在实际部署中面临的查询级拒绝问题,提出一种以部署为中心的评估方法,旨在精准预测系统何时会拒绝回答特定查询。通过分析模型行为与临床场景的匹配度,研究者尝试为医疗AI的安全性提供量化风险工具。论文全文已在arXiv开放获取,并附有PDF及TeX源码链接,涉及引用、代码、数据集等关联资源。该工作对提升临床AI系统的可靠性和可控性具有参考价值。 #临床LLM #AI安全 #风险评估 #arXiv #医疗AI #以部署为中心的评估 #查询级拒绝 #预印本
论文《Deployment-Centered Evaluation: Predicting Query-Level Rejection Risk in a Clinical LLM System》由Alyssa Unell等六位作者撰写,于2026年6月10日提交至arXiv预印本平台。该研究聚焦临床大型语言模型(LLM)在实际部署中面临的查询级拒绝问题,提出一种以部署为中心的评估方法,旨在精准预测系统何时会拒绝回答特定查询。通过分析模型行为与临床场景的匹配度,研究者尝试为医疗AI的安全性提供量化风险工具。论文全文已在arXiv开放获取,并附有PDF及TeX源码链接,涉及引用、代码、数据集等关联资源。该工作对提升临床AI系统的可靠性和可控性具有参考价值。 #临床LLM #AI安全 #风险评估 #arXiv #医疗AI #以部署为中心的评估 #查询级拒绝 #预印本
Pythagoras-Prover:基于增强型Lean形式化的高效形式化证明新方法
来自arXiv的一篇论文介绍了Pythagoras-Prover,这是一种通过增强型Lean形式化来推进高效形式化证明的新方法。该研究由Joshua Ong Jun Leang等八位作者共同完成,论文提交于2026年6月10日。Pythagoras-Prover旨在提升数学定理的形式化证明效率,通过改进Lean证明助手的自动化能力,使复杂数学推理过程更加简洁和可靠。该方法有望在数学、计算机科学及人工智能领域的形式化验证中发挥重要作用,为自动定理证明和程序验证提供更强大的工具支持。 #形式化证明 #Lean #PythagorasProver #数学定理 #自动化推理 #arXiv #计算机科学
来自arXiv的一篇论文介绍了Pythagoras-Prover,这是一种通过增强型Lean形式化来推进高效形式化证明的新方法。该研究由Joshua Ong Jun Leang等八位作者共同完成,论文提交于2026年6月10日。Pythagoras-Prover旨在提升数学定理的形式化证明效率,通过改进Lean证明助手的自动化能力,使复杂数学推理过程更加简洁和可靠。该方法有望在数学、计算机科学及人工智能领域的形式化验证中发挥重要作用,为自动定理证明和程序验证提供更强大的工具支持。 #形式化证明 #Lean #PythagorasProver #数学定理 #自动化推理 #arXiv #计算机科学
傅里叶变换与Volterra级数重新审视神经过程
来自arXiv预印本平台,一篇题为《Revisiting Neural Processes via Fourier Transform and Volterra Series》的论文由Peiman Mohseni等作者提交。该研究提出将傅里叶变换和Volterra级数理论引入神经过程分析,旨在为神经网络模型的泛化与可解释性提供新的数学框架。论文先后于2026年5月31日和6月11日更新,目前可通过PDF、HTML及TeX源码获取。研究团队来自多个机构,相关成果已引起学术社区关注,论文已被收录至arXiv相关领域浏览目录。该方法有望在机器学习和统计建模中产生应用价值。 #arXiv #论文 #神经过程 #傅里叶变换 #Volterra级数 #机器学习 #AI研究 #学术前沿
来自arXiv预印本平台,一篇题为《Revisiting Neural Processes via Fourier Transform and Volterra Series》的论文由Peiman Mohseni等作者提交。该研究提出将傅里叶变换和Volterra级数理论引入神经过程分析,旨在为神经网络模型的泛化与可解释性提供新的数学框架。论文先后于2026年5月31日和6月11日更新,目前可通过PDF、HTML及TeX源码获取。研究团队来自多个机构,相关成果已引起学术社区关注,论文已被收录至arXiv相关领域浏览目录。该方法有望在机器学习和统计建模中产生应用价值。 #arXiv #论文 #神经过程 #傅里叶变换 #Volterra级数 #机器学习 #AI研究 #学术前沿
最优时空解耦方法提升贝叶斯共形预测性能
近日,一篇题为《Optimal Spatio-Temporal Decoupling for Bayesian Conformal Prediction》的论文在arXiv上发布。该研究由Yu-Hsueh Fang和Chia-Yen Lee共同完成,提出了一种针对贝叶斯共形预测的最优时空解耦方法。共形预测是一种提供预测区间的不确定性量化技术,而贝叶斯方法可融入先验知识。作者通过理论推导和实验验证,展示了该方法在时空数据场景下如何有效解耦时间与空间依赖,从而提升预测区间的覆盖率和效率。该工作有望在气象、交通、环境监测等需要时空预测的领域得到应用,为不确定性量化提供更精确的工具。 #贝叶斯共形预测 #时空解耦 #不确定性量化 #机器学习 #arXiv #论文 #预测方法
近日,一篇题为《Optimal Spatio-Temporal Decoupling for Bayesian Conformal Prediction》的论文在arXiv上发布。该研究由Yu-Hsueh Fang和Chia-Yen Lee共同完成,提出了一种针对贝叶斯共形预测的最优时空解耦方法。共形预测是一种提供预测区间的不确定性量化技术,而贝叶斯方法可融入先验知识。作者通过理论推导和实验验证,展示了该方法在时空数据场景下如何有效解耦时间与空间依赖,从而提升预测区间的覆盖率和效率。该工作有望在气象、交通、环境监测等需要时空预测的领域得到应用,为不确定性量化提供更精确的工具。 #贝叶斯共形预测 #时空解耦 #不确定性量化 #机器学习 #arXiv #论文 #预测方法
人工智能分析中的人工监督分配研究
一篇题为《Allocating Human Oversight in AI-Enabled Analytics》的学术论文于2026年4月提交至arXiv预印本平台,并于同年6月更新。该论文由Zikun Ye等人撰写,聚焦于在基于人工智能的数据分析系统中如何合理分配人工监督资源。研究探讨了当AI模型自主执行分析任务时,如何在保证准确性与效率的前提下,确定需要人工介入的关键节点与频率。论文可能涉及人机协作的权衡、监督成本与风险控制,以及不同场景下的最优监督策略。这项工作对提升AI辅助决策的可靠性具有理论价值,尤其适用于金融、医疗等高风险领域。 #AI #人工监督 #数据分析 #人机协作 #arXiv #论文
一篇题为《Allocating Human Oversight in AI-Enabled Analytics》的学术论文于2026年4月提交至arXiv预印本平台,并于同年6月更新。该论文由Zikun Ye等人撰写,聚焦于在基于人工智能的数据分析系统中如何合理分配人工监督资源。研究探讨了当AI模型自主执行分析任务时,如何在保证准确性与效率的前提下,确定需要人工介入的关键节点与频率。论文可能涉及人机协作的权衡、监督成本与风险控制,以及不同场景下的最优监督策略。这项工作对提升AI辅助决策的可靠性具有理论价值,尤其适用于金融、医疗等高风险领域。 #AI #人工监督 #数据分析 #人机协作 #arXiv #论文
Entropic Mirror Monte Carlo 论文在 arXiv 预印本平台发布
由 Anas Cherradi 等八位研究者共同撰写的论文《Entropic Mirror Monte Carlo》于 2026 年 2 月 3 日首次提交至 arXiv 平台,并于同年 6 月 11 日更新第二版。该论文由法国索邦大学概率与统计建模实验室(LPSM)等单位完成,主要探讨基于熵镜像的蒙特卡洛方法,属于统计计算与蒙特卡洛算法领域的前沿研究。论文提供 PDF 全文、TeX 源码及 BibTeX 引用格式,并支持通过多种学术工具进行文献关联与探索。 #论文 #蒙特卡洛 #统计计算 #arXiv #科研 #机器学习
由 Anas Cherradi 等八位研究者共同撰写的论文《Entropic Mirror Monte Carlo》于 2026 年 2 月 3 日首次提交至 arXiv 平台,并于同年 6 月 11 日更新第二版。该论文由法国索邦大学概率与统计建模实验室(LPSM)等单位完成,主要探讨基于熵镜像的蒙特卡洛方法,属于统计计算与蒙特卡洛算法领域的前沿研究。论文提供 PDF 全文、TeX 源码及 BibTeX 引用格式,并支持通过多种学术工具进行文献关联与探索。 #论文 #蒙特卡洛 #统计计算 #arXiv #科研 #机器学习
多语言高效SLOPE求解器发布,覆盖R、Python、Julia和C++
近日,研究人员在arXiv上发布了一篇题为《Efficient Solvers for SLOPE in R, Python, Julia, and C++》的论文。该研究聚焦于SLOPE(Sorted L-One Penalized Estimation)算法的高效求解器实现,旨在提升统计建模中变量选择与正则化计算的性能。论文作者团队开发了覆盖R、Python、Julia和C++四种主流编程语言的求解器,为不同技术栈的用户提供了灵活选择。这些求解器在计算效率上进行了优化,有望在生物信息学、经济学等需要处理高维数据的领域发挥重要作用。论文还提供了完整的代码和数据链接,便于学术界和工业界复现与使用。 #SLOPE #求解器 #R语言 #Python #Julia #C++ #统计建模 #arXiv #开源工具
近日,研究人员在arXiv上发布了一篇题为《Efficient Solvers for SLOPE in R, Python, Julia, and C++》的论文。该研究聚焦于SLOPE(Sorted L-One Penalized Estimation)算法的高效求解器实现,旨在提升统计建模中变量选择与正则化计算的性能。论文作者团队开发了覆盖R、Python、Julia和C++四种主流编程语言的求解器,为不同技术栈的用户提供了灵活选择。这些求解器在计算效率上进行了优化,有望在生物信息学、经济学等需要处理高维数据的领域发挥重要作用。论文还提供了完整的代码和数据链接,便于学术界和工业界复现与使用。 #SLOPE #求解器 #R语言 #Python #Julia #C++ #统计建模 #arXiv #开源工具
数据融合实现高分辨率估计新方法
一篇题为《Data Fusion for High-Resolution Estimation》的研究论文在 arXiv 上发布。该研究由 Amy Guan 等五位作者完成,提出了一种通过数据融合技术实现高分辨率估计的新方法。论文于2025年8月首次提交,2026年6月更新第二版。研究聚焦于如何整合多源数据,提升估计的精度与空间分辨率,在统计、遥感、环境监测等领域具有潜在应用价值。目前论文提供 PDF、HTML 及 TeX 源码,并附带多种文献管理和代码关联工具,供学术界进一步探索。 #数据融合 #高分辨率估计 #arXiv #科研论文 #统计方法 #计算机视觉 #机器学习
一篇题为《Data Fusion for High-Resolution Estimation》的研究论文在 arXiv 上发布。该研究由 Amy Guan 等五位作者完成,提出了一种通过数据融合技术实现高分辨率估计的新方法。论文于2025年8月首次提交,2026年6月更新第二版。研究聚焦于如何整合多源数据,提升估计的精度与空间分辨率,在统计、遥感、环境监测等领域具有潜在应用价值。目前论文提供 PDF、HTML 及 TeX 源码,并附带多种文献管理和代码关联工具,供学术界进一步探索。 #数据融合 #高分辨率估计 #arXiv #科研论文 #统计方法 #计算机视觉 #机器学习