MIT Open Access Articles: Recent submissions
Now showing items 43-45 of 55159
-
Building Intelligent Agents with Neuro-Symbolic Concepts
(ACM|Communications of the ACM, 2026-01-28)This article presents a concept-centric paradigm for building agents that can learn continually and reason flexibly. The concept-centric agent utilizes a vocabulary of neuro-symbolic concepts. These concepts, such as object, ... -
Foundational Verification of Running-Time Bounds for Interactive Programs
(ACM|Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026-01-08)Some important domains of software demand concrete bounds on how long functions may run, for instance for real-time cyberphysical systems where missed deadlines may damage industrial machinery. Such programs may interact ... -
Network-RBV for Critical Minerals: How Standards, Permits, and Licensing Shape Midstream Bottlenecks
(Multidisciplinary Digital Publishing Institute, 2026-01-20)Critical mineral supply chains underpin electric mobility, power electronics, clean hydrogen, and advanced manufacturing. Drawing on the resource-based view (RBV), the relational view, and dynamic capabilities, we conceptualize ...


