· ai
[Paper] 用于模糊形式语境的可能性推理的模态逻辑
我们引入了一种用于 possibilistic reasoning 与 fuzzy formal contexts 的 two‑sort weighted modal logic。该逻辑的语法包括两类加权模态……
-
- · ai
[Paper] SymSeqBench：用于基于规则的符号序列和数据集的生成与分析的统一框架
序列结构是自然认知和行为多个领域的关键特征，例如语言、运动和决策。同样，它也是……
- · ai
[Paper] 大语言模型与英语的熵
我们使用大型语言模型（LLMs）来揭示来自各种来源的英文文本中的长程结构。许多情况下的条件熵或码长……
- · ai
[Paper] CPJ：通过 Caption-Prompt-Judge 实现可解释的农业害虫诊断，并进行 LLM-Judged Refinement
准确且可解释的作物病害诊断对农业决策至关重要，然而现有方法往往依赖于成本高昂的监督式 fine‑tuning……
- · ai
[Paper] RAIR：规则感知基准，统一挑战性长尾和视觉显著性子集用于电子商务相关性评估
搜索相关性在网络电子商务中发挥核心作用。虽然大语言模型（LLMs）在相关性任务上已显示出显著成果，但现有的基准……
- · software
[Paper] 高并发票务销售安全：基于微服务的框架
铁路票务系统是最重要的公共服务基础设施之一。在假期等高峰期，它常常面临挑战……
- · ai
[Paper] 迭代部署提升LLMs的规划能力
我们展示了对大型语言模型（LLMs）进行迭代部署，每个模型都在用户从前一个模型部署中精心策划的数据上进行微调，能够……
- · ai
[Paper] AI 驱动的云资源优化在多集群环境中
现代云原生系统日益依赖多集群部署，以支持可扩展性、弹性和地理分布。然而，现有的 re...
- · devops
[Paper] 自适应资源编排用于分布式量子计算系统
将量子计算扩展到单个设备之外，需要将多个量子处理单元（QPUs）联网成一个一致的量子‑HPC 系统。我们提出了Mod…
- · software
[论文] SoK：Web3 RegTech for Cryptocurrency VASP AML/CFT 合规
Web3 技术的去中心化架构为反洗钱（Anti-Money Laundering）和反恐怖主义融资（Counter-Financing of Terrorism）合规带来了根本性的挑战。Trad...
- · software
[Paper] Feature Slice Matching 用于精确错误检测
测量 function similarity 来检测 bugs 是有效的，但与 bugs 无关的语句可能会因噪声干扰而影响性能……
- · ai
[Paper] 自监督神经架构搜索用于多模态深度神经网络
神经架构搜索（NAS），它自动化深度神经网络（DNN）的架构设计过程，已受到越来越多的关注。多模态...