Invariant Pretraining for Robust Code Representations
面向代码智能的预训练新范式,用不变学习增强代码表示的鲁棒性与泛化能力,值得关注。
arXiv:2608.15412v1 Announce Type: cross Abstract: Encoder-based code representation models remain widely deployed for discriminative tasks such as clo…
面向代码智能的预训练新范式,用不变学习增强代码表示的鲁棒性与泛化能力,值得关注。
arXiv:2608.15412v1 Announce Type: cross Abstract: Encoder-based code representation models remain widely deployed for discriminative tasks such as clo…
用大模型自动合成程序不变式,把验证速度拉满,搞形式化验证的必读新作。
arXiv:2509.21629v4 Announce Type: replace-cross Abstract: Program verification relies on loop invariants, yet automatically discovering strong invaria…
IT之家 8 月 9 日消息,三星预计将在今年 9 月推出 Galaxy Tab S12 系列,作为其年度旗舰平板产品线。在新品发布前,Sammyguru 已经获得了 Galaxy Tab S12+ 和 Galaxy Tab S12 Ultra 的渲染图,可以清晰看到两款平板的正面设计以及全新的壁纸…
IT之家 8 月 3 日消息,今年 7 月初,一份针对索尼互动娱乐(Sony Interactive Entertainment)的请愿书在网上迅速传播。请愿发起者对索尼决定自 2028 年 1 月起停止为新的 PlayStation 游戏生产实体光盘感到愤怒,希望借此表达反对意见。 这份请愿书很快…
日本央行将目标利率维持在1%不变,符合市场预期,前值1.00%。日本央行以8-1的投票结果通过利率决议。(财联社)
7月30日,英国央行维持关键利率在3.75%不变,符合市场预期。(界面)
当地时间7月29日,美国联邦储备委员会结束为期两天的议息会议,宣布将联邦基金利率目标区间维持在3.5%至3.75%之间不变,这也是美联储今年以来第五次维持利率不变。(央视财经)
采用转置不变块量化方法,实现稳定的FP4训练,为低精度模型训练提供新思路。
arXiv:2607.24953v1 Announce Type: cross Abstract: Reducing training precision is a key lever for improving the e ciency of large language model (LLM) …
7月27日,巴基斯坦央行维持基准利率在11.50%不变,符合市场预期。(界面)
7月23日,欧洲央行管理委员会决定维持三大关键利率不变,存款便利利率、主要再融资操作利率和边际贷款便利利率分别维持在2.25%、2.40%和2.65%。(界面)
回收火箭为什么难?“要求不能够烧坏,它回来以后又要重复飞,重复使用的难度远远超过一次性材料!”中国工程院院士赫晓东一语道破了回收火箭的核心难点。当隔热材料放进1000多摄氏度的炉子里烧透后,拿出来竟然没有发生变形,更让人难以置信的是,徒手就能直接拿起来!“拿出来时,里面的热量不能持续传出来,而边角已…
7月9日,马来西亚央行将基准利率维持在2.75%不变。马来西亚央行称,强劲的基本面将继续支撑国内经济抵御外部冲击的韧性;预计2026年整体通胀将保持在可控水平,反映国内政策措施和稳定的需求状况。(界面)
世界银行7月7日在京发布最新一期中国经济简报。报告称,尽管面临供强需弱和全球能源供应冲击,中国经济增长总体保持韧性,预计2026年中国经济增长4.4%,相较去年12月发布的上期简报,增速预期维持不变。(新华社)
揭秘LLM代理在记忆投毒下的行为不变性,为检测隐蔽攻击提供全新取证思路,安全研究者必读。
arXiv:2606.30566v1 Announce Type: cross Abstract: We discover a behavioral invariant in LLM agents under persistent memory poisoning: in architectures…
新位置编码突破序列距离限制,实现跨模态距离不变性,为多模态Transformer带来更优位置感知。
arXiv:2603.10863v2 Announce Type: replace Abstract: Despite the remarkable capabilities of Multimodal Large Language Models (MLLMs), they still suffer…
据报道,德意志银行表示,油价下跌已导致通胀预期被下修。如果这一趋势持续,可能为欧洲央行将利率维持在2.25%打开空间,尤其是在已经实施过一次加息的情况下。(界面)
不是所有程序不变量都同等重要,如何精选训练数据让小模型加速验证?这篇论文给出答案。
arXiv:2603.15510v2 Announce Type: replace Abstract: The synthesis of inductive loop invariants remains a critical bottleneck in automated program veri…
第一视角与第三视角视频时间理解如何统一?这项研究提出EgoExo-Con框架,探索视角不变的时间建模,为多视角视频分析带来新思路。
arXiv:2510.26113v2 Announce Type: replace-cross Abstract: Do Video-LLMs have consistent temporal understanding when videos capture the same event from…
一站式速览小米18系列相机、屏幕与AI按键新特性,定制Lofic主摄和大R角2K屏信息一网打尽
IT之家 6 月 21 日消息,博主 @智慧皮卡丘 发文,透露小米 18 系列手机暂定 9 月登场。系列手机背屏不变,配备定制 200Mp Lofic 主摄。手机正面将搭载“大 R 角等效 2K 屏”,同时屏幕亮度有所提升。系统方面,该机预计将搭载小米澎湃 OS 4,引入类似苹果风格的光感 UI。 …
IT之家 6 月 20 日消息,微软今天(6 月 20 日)发布公告,宣布将延续 25H2 更新模式, 于 2026 年秋季通过启用包(eKB)方式发布 Windows 11 26H2 更新。 微软表示 Windows 11 26H2 并非重大版本更迭,面向 Windows 11 24H2 和 25…