· ai
[Paper] 关于一致性规划与 $exists^*forall^*$ 超属性的模型检查
我们研究规划与验证社区中的两个问题之间的关联：Conformant planning 和 hyperproperties 的 model-checking。Conformant pl...
-
- · ai
[论文] 可解释神经逆运动学用于障碍感知机器人操作：IKNet 变体的比较分析
深度神经网络已经加速了 inverse-kinematics (IK) 推理，使得低成本机械臂能够实时执行复杂轨迹，...
- · ai
[Paper] Splitwise：通过 Lyapunov-Assisted DRL 实现 LLM 的协同边缘‑云推理
在边缘设备上部署大规模语言模型（LLMs）具有挑战性，因为它们的内存和电力资源有限。仅云推理可以降低设备负担……
- · ai
[Paper] MedGemma vs GPT-4：开源与专有 Zero-shot 医学疾病分类（基于图像）
多模态大型语言模型（LLMs）通过借助广泛的临床知识来解释扫描图像，为医学影像引入了一种新兴范式……
- · ai
[Paper] 可解释的安全对齐 via SAE-Constructed Low-Rank Subspace Adaptation
Parameter-efficient fine-tuning 已成为将 large language models 适配到 downstream tasks 的主流范式。Low-rank adaptation 方法，如 LoR…
- · ai
Human-in-the-Loop (HITL) 在现代 AI 标注工作流中的作用
AI 系统正变得更快、更强大，但它们仍远未完美——尤其是在数据混乱、情境复杂或高风险的情况下。这正是 huma...
- · ai
[Paper] FairGFL：隐私保护的公平感知联邦学习与重叠子图
Graph federated learning 使得在保护原始数据隐私的前提下，能够协同从分布式子图中提取高阶信息。How...
- · ai
[Paper] Anka：一种用于可靠 LLM 代码生成的领域特定语言
大型语言模型（LLMs）在代码生成方面展现了卓越的能力，但在复杂的多步骤编程中仍会出现系统性错误……
- · ai
[Paper] 评分、推理与最佳选择！通过同行评审过程集成大型语言模型
我们提出 LLM‑PeerReview，这是一种无监督的 LLM 集成方法，它从每个查询的多个 LLM 生成的候选答案中选择最理想的响应，…
- · ai
📌 第21天：21天构建小型语言模型：完整旅程回顾：图书赠送📌
视频回顾 观看回顾视频 https://youtu.be/-rzMxb1JhuU 谢谢 我简直不敢相信我们一起走到了最后。 衷心感谢所有……
- · ai
[论文] 渗透学习：一种用于去中心化上下文数据表示的自监督范式
在特定上下文中的数据超越其孤立解释，获得更深层的意义。在分布式系统中，相互依赖的数据源揭示出隐藏的……
- · ai
机器学习中的数据泄漏
Data Leakage 在 Machine Learning 中 常常受指导者在 Machine Learning 工作流中犯下基本错误：Exploratory Data Analysis (EDA) → preprocessing…