Agent Harness Wiki

❯

❯

Folder: raw/papers

173 items under this folder.

Apr 07, 2026
Graph of Skills: Dependency-Aware Structural Retrieval for Massive Agent Skills
Apr 06, 2026
Scaling Coding Agents via Atomic Skills
Apr 06, 2026
SkillX: Automatically Constructing Skill Knowledge Bases for Agents
Apr 05, 2026
SKILLFOUNDRY: Building Self-Evolving Agent Skill Libraries from Heterogeneous Scientific Resources
Apr 02, 2026
EvoSkills: Self-Evolving Agent Skills via Co-Evolutionary Verification
Mar 26, 2026
SEVerA: Verified Synthesis of Self-Evolving Agents
Mar 26, 2026
Trace2Skill: Distill Trajectory-Local Lessons into Transferable Agent Skills
Mar 20, 2026
HyEvo: Self-Evolving Hybrid Agentic Workflows for Efficient Reasoning
Mar 19, 2026
SpaceTime Programming: Live and Omniscient Exploration of Code and Execution
Mar 19, 2026
Memento-Skills: Let Agents Design Agents
Mar 17, 2026
Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
Mar 17, 2026
MetaClaw: Just Talk -- An Agent That Meta-Learns and Evolves in the Wild
Mar 12, 2026
Compiled Memory: Not More Information, but More Precise Instructions for Language Agents
Feb 18, 2026
Toward Scalable Verifiable Reward: Proxy State-Based Evaluation for Multi-turn Tool-Calling LLM Agents
Feb 18, 2026
EnterpriseBench Corecraft: Training Generalizable Agents on High-Fidelity RL Environments
Feb 13, 2026
G2CP: A Graph-Grounded Communication Protocol for Verifiable and Efficient Multi-Agent Reasoning
Feb 11, 2026
Learning to Compose for Cross-domain Agentic Workflow Generation
Feb 02, 2026
MemSkill: Learning and Evolving Memory Skills for Self-Evolving Agents
Jan 29, 2026
Meta Context Engineering via Agentic Skill Evolution
Jan 28, 2026
The Epistemic Planning Domain Definition Language: Official Guideline
Jan 24, 2026
Structural Operational Semantics for True Concurrency
Jan 16, 2026
Do We Always Need Query-Level Workflows? Rethinking Agentic Workflow Generation for Multi-Agent Systems
Jan 13, 2026
AtomMem : Learnable Dynamic Agentic Memory with Atomic Memory Operation
Jan 12, 2026
JudgeFlow: Agentic Workflow Optimization via Block Judge
Dec 18, 2025
Reinforcement Learning for Self-Improving Agent with Skill Library
Dec 11, 2025
LLM-Auction: Generative Auction towards LLM-Native Advertising
Nov 23, 2025
$A^2Flow$: Automating Agentic Workflow Generation via Self-Adaptive Abstraction Operators
Nov 13, 2025
AgentEvolver: Towards Efficient Self-Evolving Agent System
Oct 18, 2025
CodeCRDT: Observation-Driven Coordination for Multi-Agent LLM Code Generation
Oct 18, 2025
Hey Pentti, We Did It Again!: Differentiable vector-symbolic types that prove polynomial termination
Oct 16, 2025
Terrarium: Revisiting the Blackboard for Multi-Agent Safety, Privacy, and Security Studies
Oct 03, 2025
VeriGuard: Enhancing LLM Agent Safety via Verified Code Generation
Sep 30, 2025
LLM-Based Multi-Agent Blackboard System for Information Discovery in Data Science
Sep 30, 2025
DyFlow: Dynamic Workflow Framework for Agentic Reasoning
Sep 26, 2025
LLM Agent Communication Protocol (LACP) Requires Urgent Standardization: A Telecom-Inspired Protocol is Necessary
Sep 26, 2025
RobustFlow: Towards Robust Agentic Workflow Generation
Aug 19, 2025
ComputerRL: Scaling End-to-End Online Reinforcement Learning for Computer Use Agents
Aug 02, 2025
BlockA2A: Towards Secure and Verifiable Agent-to-Agent Interoperability
Aug 01, 2025
MetaAgent: Toward Self-Evolving Agent via Tool Meta-Learning
Jul 25, 2025
GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning
Jul 13, 2025
Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
Jul 04, 2025
EvoAgentX: An Automated Framework for Evolving Agentic Workflows
May 29, 2025
MermaidFlow: Redefining Agentic Workflow Generation via Safety-Constrained Evolutionary Programming
May 23, 2025
Rethinking Agent Design: From Top-Down Workflows to Bottom-Up Skill Evolution
May 22, 2025
X-MAS: Towards Building Multi-Agent Systems with Heterogeneous LLMs
May 04, 2025
A survey of agent interoperability protocols: Model Context Protocol (MCP), Agent Communication Protocol (ACP), Agent-to-Agent Protocol (A2A), and Agent Network Protocol (ANP)
Apr 02, 2025
Enhancing Computational Notebooks with Code+Data Space Versioning
Mar 11, 2025
SOPBench: Evaluating Language Agents at Following Standard Operating Procedures and Constraints
Mar 10, 2025
DynTaskMAS: A Dynamic Task Graph-driven Framework for Asynchronous and Parallel LLM-based Multi-Agent Systems
Feb 27, 2025
Collab-Overcooked: Benchmarking and Evaluating Large Language Models as Collaborative Agents
Feb 20, 2025
MLGym: A New Framework and Benchmark for Advancing AI Research Agents
Feb 03, 2025
Reinforcement Learning for Long-Horizon Interactive LLM Agents
Jan 16, 2025
SOP-Agent: Empower General Purpose AI Agent with Domain-Specific SOPs
Jan 01, 2025
AutoDSPy: Automating Modular Prompt Design with Reinforcement Learning for Small and Large Language Models
Dec 30, 2024
Training Software Engineering Agents and Verifiers with SWE-Gym
Dec 09, 2024
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap
Dec 06, 2024
The BrowserGym Ecosystem for Web Agent Research
Nov 13, 2024
Searching Latent Program Spaces
Oct 14, 2024
AFlow: Automating Agentic Workflow Generation
Oct 10, 2024
Benchmarking Agentic Workflow Generation
Sep 18, 2024
Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
Sep 12, 2024
Windows Agent Arena: Evaluating Multi-Modal OS Agents at Scale
Sep 11, 2024
Agent Workflow Memory
Aug 28, 2024
BattleAgentBench: A Benchmark for Evaluating Cooperation and Competition Capabilities of Language Models in Multi-Agent Systems
Aug 15, 2024
Automated Design of Agentic Systems
Aug 15, 2024
Visual Integration of Static and Dynamic Software Analysis in Code Reviews via Software City Visualization
Jul 26, 2024
AppWorld: A Controllable World of Apps and People for Benchmarking Interactive Coding Agents
Jul 07, 2024
WorkArena++: Towards Compositional Planning and Reasoning-based Common Knowledge Work Tasks
Jul 01, 2024
AutoFlow: Automated Workflow Generation for Large Language Model Agents
Jun 20, 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Jun 19, 2024
Kishu: Time-Traveling for Computational Notebooks
Jun 18, 2024
WebCanvas: Benchmarking Web Agents in Online Environments
Jun 17, 2024
τ-bench: A Benchmark for Tool-Agent-User Interaction in Real-World Domains
Jun 11, 2024
TextGrad: Automatic "Differentiation" via Text
Jun 06, 2024
AgentGym: Evolving Large Language Model-based Agents across Diverse Environments
Apr 18, 2024
Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
Apr 11, 2024
OSWorld: Benchmarking Multimodal Agents for Open-Ended Tasks in Real Computer Environments
Mar 12, 2024
WorkArena: How Capable Are Web Agents at Solving Common Knowledge Work Tasks?
Mar 12, 2024
pyvene: A Library for Understanding and Improving PyTorch Models via Interventions
Mar 04, 2024
Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment
Jan 24, 2024
VisualWebArena: Evaluating Multimodal Agents on Realistic Visual Web Tasks
Jan 24, 2024
AgentBoard: An Analytical Evaluation Board of Multi-turn LLM Agents
Jan 01, 2024
Symbolic Prompt Program Search: A Structure-Aware Approach to Efficient Compile-Time Prompt Optimization
Dec 20, 2023
DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines
Dec 09, 2023
Steering Llama 2 via Contrastive Activation Addition
Nov 21, 2023
GAIA: a benchmark for General AI Assistants
Nov 01, 2023
Will Code Remain a Relevant User Interface for End-User Programming with Generative AI Models?
Oct 25, 2023
PromptAgent: Strategic Planning with Language Models Enables Expert-level Prompt Optimization
Oct 16, 2023
Mechanism Design for Large Language Models
Oct 03, 2023
Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
Oct 02, 2023
Representation Engineering: A Top-Down Approach to AI Transparency
Sep 28, 2023
Promptbreeder: Self-Referential Self-Improvement Via Prompt Evolution
Sep 07, 2023
Large Language Models as Optimizers
Aug 30, 2023
Collaborative, Code-Proximal Dynamic Software Visualization within Code Editors
Aug 20, 2023
Steering Language Models With Activation Engineering
Aug 20, 2023
ExpeL: LLM Agents Are Experiential Learners
Aug 07, 2023
Spellburst: A Node-based Interface for Exploratory Creative Coding with Natural Language Prompts
Jul 25, 2023
WebArena: A Realistic Web Environment for Building Autonomous Agents
Jun 06, 2023
Inference-Time Intervention: Eliciting Truthful Answers from a Language Model
Mar 20, 2023
Reflexion: Language Agents with Verbal Reinforcement Learning
Mar 14, 2023
Eliciting Latent Predictions from Transformers with the Tuned Lens
Jan 12, 2023
Tracr: Compiled Transformers as a Laboratory for Interpretability
Dec 07, 2022
Discovering Latent Knowledge in Language Models Without Supervision
Nov 21, 2022
TEMPERA: Test-Time Prompting via Reinforcement Learning
Sep 19, 2022
NL2INTERFACE: Interactive Visualization Interface Generation from Natural Language Queries
Aug 09, 2022
Branching Pomsets for Choreographies
Jul 04, 2022
WebShop: Towards Scalable Real-World Web Interaction with Grounded Language Agents
May 25, 2022
RLPrompt: Optimizing Discrete Text Prompts with Reinforcement Learning
Feb 10, 2022
Locating and Editing Factual Associations in GPT
Dec 01, 2021
Cooperation-Based Concept Formation in Male Bottlenose Dolphins
Nov 01, 2021
Transformer Feed-Forward Layers Are Key-Value Memories
Aug 16, 2021
Program Synthesis with Large Language Models
Jul 07, 2021
Evaluating Large Language Models Trained on Code
Jun 18, 2021
Lifetime Stability of Social Traits in Bottlenose Dolphins
Jun 17, 2021
LoRA: Low-Rank Adaptation of Large Language Models
Jun 13, 2021
Thinking Like Transformers
May 20, 2021
Measuring Coding Challenge Competence With APPS
Dec 01, 2020
Latent Programmer: Discrete Latent Codes for Program Synthesis
Mar 31, 2020
Merkle-CRDTs: Merkle-DAGs meet CRDTs
Jan 01, 2020
Computational Governance and Violable Contracts for Blockchain Applications
Dec 04, 2019
Plug and Play Language Models: A Simple Approach to Controlled Text Generation
Jun 10, 2019
Performance Analysis and Characterization of Training Deep Learning Models on Mobile Devices
Jan 01, 2019
in-toto: Providing farm-to-table guarantees for bits and bytes
Jan 01, 2019
The What-If Tool: Interactive Probing of Machine Learning Models
May 01, 2018
Live Functional Programming with Typed Holes
Nov 02, 2017
Neural Discrete Representation Learning
Jul 27, 2017
Categories for Dynamic Epistemic Logic
Jun 12, 2017
Attention Is All You Need
Mar 06, 2017
Grammar Variational Autoencoder
Jan 01, 2017
ClaimChain: Improving the Security and Privacy of In-band Key Distribution for Messaging
Dec 15, 2016
Probabilistic Epistemic Updates on Algebras
Nov 19, 2015
Neural Programmer-Interpreters
Jan 01, 2015
ModelTracker
Jan 01, 2015
Webstrates
Jan 01, 2014
Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud
Jan 01, 2014
From common operating picture to situational awareness
Jan 01, 2014
Replay debugging: Leveraging record and replay for program debugging
Jan 01, 2014
Goal Recognition Design
Jan 01, 2014
User Interface Validation using Mode Confusion Detection
Jan 01, 2014
Panelrama
Jul 15, 2013
Decades-Long Social Memory in Bottlenose Dolphins
Jan 17, 2013
Swarm Robotics: A Review from the Swarm Engineering Perspective
Jan 01, 2012
Analyst's Workspace: An embodied sensemaking environment for large, high-resolution displays
Jan 01, 2011
Code space
Jul 25, 2010
Embedding Spatial Software Visualization in the IDE: an Exploratory Study
Jan 01, 2010
Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners
Mar 04, 2009
The Emergence of Unshared Consensus Decisions in Bottlenose Dolphins
Jan 01, 2009
Hyperdimensional Computing: An Introduction to Computing in Distributed Representation with High-Dimensional Random Vectors
Jan 01, 2009
Finding causes of program output with the Java Whyline
Apr 28, 2008
Stoppable Paxos
Jan 01, 2008
Jigsaw: Supporting Investigative Analysis through Interactive Visualization
Jan 01, 2007
Combinators for bidirectional tree transformations
Jan 01, 2007
Provenance semirings
Jan 01, 2007
Consensus and Cooperation in Networked Multi-Agent Systems
Jul 01, 2006
Market-Based Multirobot Coordination: A Survey and Analysis
Jan 01, 2006
Provenance and Annotation for Visual Exploration Systems
Jan 01, 2005
Sybilproof reputation mechanisms
Jan 01, 2005
Labels and event processes in the asbestos operating system
Jan 01, 2005
Design of a role-based trust-management framework
Dec 13, 2004
Vector Symbolic Architectures answer Jackendoff's challenges for cognitive neuroscience
Jan 01, 2004
Access control on the Web using proof-carrying authorization
Jan 01, 2003
Defining interaction protocols using a commitment-based agent communication language
Oct 10, 2002
Kademlia: A Peer-to-Peer Information System Based on the XOR Metric
Jan 01, 1999
Socially translucent systems
May 01, 1998
Methods for Task Allocation via Agent Coalition Formation
Jan 01, 1995
Holographic Reduced Representations
Jan 01, 1994
Session Guarantees for Weakly Consistent Replicated Data
Jan 01, 1992
VIEWPOINTS: A FRAMEWORK FOR INTEGRATING MULTIPLE PERSPECTIVES IN SYSTEM DEVELOPMENT
Jan 01, 1992
The action workflow approach to workflow management technology
Jan 01, 1991
Design and Analysis Tools for Concurrent Blackboard Systems
Jan 01, 1986
The Escrow Transactional Method
Jan 01, 1985
Generative Communication in Linda
Dec 01, 1980
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver

Created with Quartz v4.5.2 © 2026

GitHub
Quartz Upstream