As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
Structured reasoning about actor systems | Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Successfully attaining consensus in the absence of a centralized coordinator is a fundamental problem in distributed multi-agent systems. We analyze progress in the Synod consensus protocol—which does not assume a unique leader—under the ...
A taxonomy for next-generation reasoning models
Where we've been and where we're going with RLVR.
Temporal logic with "Until", functional reactive programming with processes, and concrete process categories
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
gpt-oss:120b
OpenAI’s open-weight models designed for powerful reasoning, agentic tasks, and versatile developer use cases.
gpt-oss:20b
OpenAI’s open-weight models designed for powerful reasoning, agentic tasks, and versatile developer use cases.
Open models by OpenAI
Advanced open-weight reasoning models to customize for any use case and run anywhere.
Agents are Systems Software
Principal AI Architect. Creator of open-strix, a harness for building agent teams. Writing about AI architecture, stateful agents, and what happens when you give AI memory.
Developer Guide - RPG Actor Registry
Developer guide for building on rpg.actor — AT Protocol lexicons, character stats, sprites, and the master system.
Training Agentic Reasoners — Will Brown, Prime Intellect
Introducing Muse Spark 1.3
Introducing Muse Spark 1.3, with max reasoning for challenging reasoning and agentic tasks and improved real-world usability.
OpenAI's open source LLM is a reasoning model, coming Next Thursday!
1.1K votes, 257 comments. 756K subscribers in the LocalLLaMA community. Subreddit to discuss locally hostable AI.
The argument against AI agents and unnecessary automation
Opinion: OpenAI's Operator a solution in search of a problem
Open-Source AI & Open Models Reading List
How to get up to speed on open models and their implications.
Incomplete Contracting and AI Alignment
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.
Pi: The Minimal Agent Within OpenClaw
A gentle introduction to the Pi coding agent and why I think it’s a glimpse into the future of software.
