微信内可能无法直接打开本站。请点右上角 ··· → 在浏览器打开，或复制链接后用系统浏览器访问。
XMT
信流 · 上滑连读 · 来源可核
From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving
arXiv:2608.…
- 14771v1 Announce Type: new Abstract: Making language models solve cons…
- But the translation is itself a language-model task, and an unfaithful…
- Existing pipelines repair only translations that crash, returning the …
RSS 官方收录 · 可信分层展示
Agentic Data Cleaning Without a Clean Reference: An Experimental Study of Capabilities and Trade-offs
arXiv:2608.…
- 14765v1 Announce Type: new Abstract: Data cleaning without a trusted c…
- This paper studies how different agent capabilities affect reference-f…
- Seven configurations are evaluated across financial, clinical, and env…
RSS 官方收录 · 可信分层展示
Advanced modelling and data analytics in aviation
arXiv:2608.…
- 14746v1 Announce Type: new Abstract: The aviation industry characteriz…
- Despite the vast accumulation of aviation safety data over time, its f…
- This research addresses this gap by applying machine learning (ML) and…
RSS 官方收录 · 可信分层展示
Semantic Uncertainty-Guided Orchestration in Hierarchical Multi-Agent Systems
arXiv:2608.…
- 14707v1 Announce Type: new Abstract: As large language model (LLM)-bas…
- Existing orchestration strategies typically rely on fixed interaction …
- This paper introduces a semantic-uncertainty-guided orchestration appr…
RSS 官方收录 · 可信分层展示
Beyond Pass@k: Measuring Reliability and Security of Agentic Code Generation
arXiv:2608.14711v1 Announce Type: new Abstract: AI coding agent benchmarks rank agents with the Chen et al.…
- (2021) pass@k estimator, but current implementations misapply it: they…
- We diagnose this operationalization error, prove it by counterexample,…
- In a synthetic multi-rollout benchmark, the misapplied metric inflates…
RSS 官方收录 · 可信分层展示
REVERSIBLE Is Making Designer Shopping Smarter With Its "Luxury, For Less" Campaign
Anyone who has ever opened fifteen browser tabs to track down one pair of designer sneakers at the right price, in the right size, from a retailer that actually ships to their country, knows the problem.…
- REVERSIBLE, the fashion discovery and shopping platform, was built to …
- The platform aggregates real-time inventory, pricing and availability …
- One Platform, Hundreds of RetailersOnline designer shopping has a visi…
RSS 官方收录 · 可信分层展示
Salsa Digital: Drupal AI Context — beta 4 released
Beta 4 release of Drupal AI Context Beta 4 of Drupal AI Context , also known as Context Control Center (CCC), is now available.…
- CCC helps Drupal sites provide governed, reusable context for AI workf…
- This gives AI systems access to more structured and relevant informati…
- Following the beta 3 release , beta 4 has been shaped by extensive com…
RSS 官方收录 · 可信分层展示
Europe’s Banks Are Treating Hydrogen As A Niche, Not An Economy
The Port of Antwerp-Bruges now has what its developer calls a commercial-scale AEM electrolyzer.…
- Power to Hydrogen’s half-megawatt system is intended to make high-puri…
- Moving anion-exchange-membrane electrolysis out of smaller stacks and …
- [continued] The post Europe’s Banks Are Treating Hydrogen As A Niche, …
RSS 官方收录 · 可信分层展示
荣耀找一个新身份
荣耀上一次让全行业意外，是 2020 年从华为独立出来。但这一次，是一部手机。几天前，荣耀 CEO 李健在广州正式发布 Robot Phone，9.59 毫米厚的机身里，塞着一个四自由度的钛合金机械云台，能够实现跟随音乐律动、拟人化交互、自动追焦等功能，产品定价 9999 元起。…
- 据李健在发布会上透露，算上前期新品预约，荣耀 RobotPhone 预定量已超 40 万台。
- 对行业而言，Robot Phone 是一个全新“物种”，在手机行业仍在追寻系统全面 AI 化的时期，荣耀凭借着在具身智能领域的技术积累，成功…
- 荣耀这一落子也恰逢其时。
RSS 官方收录 · 可信分层展示
大厂押注AI办公，文库网盘正在从“通用”走向“专业
从十年前起，互联网大厂就一直想帮打工人提升效率。在线文档、企业微信、打卡审批——工具不断变换，看似办公室里的工作方式跟着变了，但好像真正被释放的时间并没有减少。直到十年后，大模型和agent 让事情有了好转，AI能够自己搜集资料、调用工具、拆解任务，办公软件开始真正替人干活。…
- 看看周围电梯的广告，一边是WorkBuddy，一边是豆包和千问，就连机场候机室，也被AI办公场景打透，所有大厂都在集中做一件事：收拢兵力，押…
- 艾媒咨询数据显示，2025年中国AI智能体市场规模804亿元，同比增长123.
- 2%，预计2030年到6968亿元，办公生产力场景被标注为核心增长极，59.
RSS 官方收录 · 可信分层展示
Synchronized Logit Steering: Real-world Steganography
arXiv:2608.14697v1 Announce Type: new Abstract: Steganography in large language models offers a way to embed hidden messages within natural-sounding text.…
- Existing token and logit-level methods typically require the sender an…
- We introduce Synchronized Logit Steering (SLS), a deterministic stegan…
- SLS encodes payload values as token ranks within high-entropy regions …
RSS 官方收录 · 可信分层展示
A Comprehensive Survey of Wireless Foundation Models for AI-Native 6G Networks
arXiv:2608.…
- 14694v1 Announce Type: new Abstract: Foundation models are emerging as…
- Unlike conventional deep learning models that are trained for individu…
- Despite rapid progress, current research remains fragmented across arc…
RSS 官方收录 · 可信分层展示
When Agentic Executions Fail: Detecting and Localizing Runtime Faults from Telemetry
arXiv:2608.…
- 14680v1 Announce Type: new Abstract: Reliability in LLM-based agentic …
- We present AGENTCHAOSBENCH, a benchmark for detecting and localizing r…
- We run five heterogeneous applications that coordinate agents over the…
RSS 官方收录 · 可信分层展示
Auditing an AI-Generated Mathematical Proof: A Correction to a Greedy Conditioning Lemma in Quantum Parallel Repetition
arXiv:2608.…
- 14673v1 Announce Type: new Abstract: Chapter 6 of OpenAI's *Ten Advanc…
- Early in the proof, the chapter uses a quantitative greedy conditionin…
- The lemma is meant to select a small set of coordinates (D) such that,…
RSS 官方收录 · 可信分层展示
Beyond Correctness: Toward Automated Novelty Verification with Lean 4
arXiv:2608.…
- 14669v1 Announce Type: new Abstract: Artificial intelligence systems a…
- This article presents AViD Journal, a pipeline that receives a LaTeX a…
- Evaluation on papers withdrawn from arXiv due to declared duplication …
RSS 官方收录 · 可信分层展示
项目频道 - 瑞幸×迪士尼反派，恶毒皇后迎来最懂它的人
迪士尼反派一般在万圣节出动。没想到，反派提前登场。8月10日，瑞幸正式上线迪士尼反派系列，四大经典女性反派——邪恶皇后、玛琳菲森、库伊拉和乌苏拉集体登场，后妈茶话会走进现实。本次限定饮品以阿克苏苹果为主角，推出皇后限定苹果拿铁、皇后限定苹果 C 美式、皇后限定苹果 C 冰茶。…
- 同时，瑞幸在各个物料中反复强调：这杯苹果没毒。
- 视频整体视觉风格，瑞幸采用复古美式版画营造暗黑童话风，紫、黑、深红为主色调，主打「不必做温顺公主，做气场强大反派」。
- 这是一条来自反派的提醒~当然，也少不了限定周边。
RSS 官方收录 · 可信分层展示
招聘频道 - 资深创意美术AD/SAD
招聘企业: KASAKII 上海工作区域: 上海徐汇区发布时间: 2026-08-18Job ID: 275568职位描述 Job Description你将和一群无奇不有的人一起工作，在小小的办公室里添上一笔属于你的色泽。…
- 和大多数的公司一样，我们宣称自己是个有趣的公司；和大多数的公司不一样，我们承认我们是个太过天真的公司。
- 我们将商业项目做成每个人都自愿分享给家人朋友的作品；我们真心热爱创意事业，即使这样听起来有点傻；我们年纪很小，而且愿意一直保持一颗赤子之心去…
- 岗位职责：01 负责项目整体视觉策略制定，从市场洞察到创意概念落地，建立统一的视觉语言体系。
RSS 官方收录 · 可信分层展示
招聘频道 - 客户总监/资深客户总监
招聘企业: SG胜加工作区域: 上海长宁区发布时间: 2026-08-18Job ID: 275561职位描述 Job Description岗位职责：1、负责出海品牌年度整合营销Campaign及品牌传播项目的全流程管理，包括策略制定、创意把关、媒介整合，执行落地及效果复盘；2、 主导大型整合营销项目的提案工作，精准洞察客户海外市场痛点，制定具有竞争力的策略方案，并可以进行英文提案与沟通；3、 密切关注目标海外市场的行业动态、媒体环境及文化趋势，为客户及团队提供前瞻性的策略建议；4、 把控所有交付成果的质量，确保创意内容、传播策略符合品牌调性及目标市场的文化规范，规避跨文化沟通风险；5、 负责客户服务团队的日常管理，高效协同公司内部部门，整合内外部资源培养具有国际视野的广告人才梯队，确保项目顺利进行。…
- 任职要求：1、 本科及以上学历，8年以上广告/传播行业工作经验，其中至少3年以上客户总监（AD或以上）级别管理经验2、 英语可作为工作语言，…
- 更多精彩内容请访问 数英网 - 文章频道 - 项目频道 - 招聘频道
RSS 官方收录 · 可信分层展示