检测剥离二进制文件中的内存崩溃漏洞需要从低层次、有损的表示中恢复对象语义、过程间传播和可行触发器。近期基于 LLM 的方法改善了代码理解，但可靠检测仍需要建立在内存相关语义和运行时可行性证据的基础上。Veritas 提出了一个语义 grounded 的二进制 ...

单步检索增强生成（RAG）为简单问答任务提供了融合外部信息的有效途径，但在处理复杂问题时表现吃力。Agentic RAG 将单步检索扩展为多步过程——大语言模型（LLM）充当搜索智能体，生成中间思维和子查询，迭代地与检索系统交互。这种迭代过程因自回归生成 ...

近日，清华大学姚权铭副教授团队提出了一套全新的药物相互作用预测方法——CBR-DDI 框架。这项研究首次把临床医生常用的“参考过往病例”（CBR，Case-Based Reasoning）方法引入到大语言模型（LLM，Large Language Model）中，显著提升了药物相互作用预测的准确性和可 ...

大家好，我是含萧。 近日，在 OpenAI 计划长达十二天的"Shipmas"的前两天发布中，满血版 o1 系列以及强化微调技术 RFT(Reinforcement Fine-Tuning)面世。 其中，完全体 o1 更智能、更快、多模态输入、更擅长指令遵循、编码效能提升、错误率降低约 34%、思考速度提升约 50%。

未来标准化的软件最后都会被 SaaS 化，卖软件的生意会日益缩水，市场上定制的软件会越来越多。 10月20日，Coding正式对外发布“码市”，码市是一个基于众包的软件外包平台，链接企业发包方（甲方）和程序员（乙方）。 现实软件外包过程中，甲方的烂尾率达 ...