Curating the frontier of Artificial Intelligence

Working to automate nuclear plant operations

要使核能被视为可行的清洁能源,，它的价格必须具有竞争力且生产经济。本科毕业后...

For nuclear to be considered as a viable clean energy source, it has to be competitively priced and economical to produce. After an undergraduate degr...

SoftReason: A Fully Differentiable Neuro-Soft-Symbolic Deductive Reasoning Architecture over High-Dimensional Perceptual Data

在许多推理问题, 中，前提并不是作为离散符号, 观察到的，而是必须从高维输入中推断出来。进一步,谓词...

In many reasoning problems, the premises are not observed as discrete symbols, but must be inferred from high-dimensional inputs. Further, the predica...

MIT projects selected for funding under US Department of Energy’s Genesis Mission

创世纪任务,是一项国家倡议,旨在通过激励跨领域建立“世界’最强大的综合科学发现平台”...

The Genesis Mission, a national initiative, intends to build “the world’s most powerful integrated science discovery platform” by incentivizing cross-...

BioSecBench-Surveillance: A Verifiable Benchmark for AI Agents in Pathogen Genomic Surveillance

随着病原体基因组监测规模扩大,，瓶颈正在从数据生成转向分析。我们提出 BioSecBench-Surveillance, 可验证...

As pathogen genomic surveillance scales, the bottleneck is shifting from data generation to analysis. We present BioSecBench-Surveillance, a verifiabl...

Graph-Based Agentic AI with LangGraph: Workflow Pathways for Long-Running Stateful Business Processes

本文是业务流程中长期运行, 有状态, 多步骤生成式人工智能系统的基于图的工作流程路径的从业者指南...

This paper is a practitioner guide to graph-based workflow pathways for long-running, stateful, multi-step generative AI systems in business processes...

LLM Detection as an Intervention: Downstream Impact under Strategic User Behavior

随着 LLM 的采用变得更加广泛,，人们对检测 LLM 生成的内容, 越来越感兴趣，例如通过 LLM 检测工具和技术...

As LLM adoption becomes more widespread, there is a growing interest in detecting LLM-generated content, for example through LLM detection tools and t...

Professor Emeritus Dimitri Bertsekas, influential computer scientist and prolific author, dies at 83

在他的职业生涯中, Bertsekas 研究跨越了,并对,多个领域,产生了决定性影响，包括优化,控制,大...

Over the course of his career, Bertsekas’ research spanned, and had a definitive influence upon, several fields, including optimization, control, larg...

ResearchArena: Evaluating Sabotage and Monitoring in Automated AI R&D

随着 AI 代理开始自动化 AI R&D,，我们需要方法来评估其输出是否可以安全部署,，即使代理本身可能不可信......

As AI agents begin to automate AI R&D, we need ways to assess whether their outputs are safe to deploy, even when the agents themselves may be untrust...

Associative Emotional Learning in Convolutional Neural Networks

联想情绪学习使生物体能够适应性地将愉快或不愉快的结果与预测刺激的存在联系起来。而康...

Associative emotional learning enables organisms to adaptively link pleasant or unpleasant outcomes to the presence of predictive stimuli. Whereas com...

Agents in the Wild: Where Research Meets Deployment

代理系统大型语言模型(LLM)基于架构，能够推理,规划,行动,并与工具和其他代理协调...

Agentic systems large language model (LLM) based architectures capable of reasoning, planning, acting, and coordinating with tools and other agents ar...