Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-20T10:54:54.558241Z
Paper Citation Record · LEDGER
As of 5 August 2026, this Paper Citation Record lists 100 of 296 outbound references and 20 inbound Pith citation observations for arXiv:2605.18747.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-20T10:54:54.558241Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-02T07:56:56.444199Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-11T00:57:42.237438Z
100 of 296 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 72865078-2dc3-421a-b770-a968e68bde9b · outbound
Code as Agent Harness Evaluating Large Language Models Trained on Code
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 565bde0e-5fac-41cc-bca9-333ea88c7674 · outbound
Code as Agent Harness Program Synthesis with Large Language Models
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 5060f31d-77da-454f-b6ac-6fb5b8031f2e · outbound
Code as Agent Harness CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 42fa2780-eb86-442b-8838-d65ee6051acd · outbound
Code as Agent Harness Competition-level code generation with alphacode.Science, 378(6624):1092–1097
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 6d8fdd2d-0aeb-46a4-ad73-acbb56f8f9f3 · outbound
Code as Agent Harness SWE-bench: Can Language Models Resolve Real-World GitHub Issues?
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 644ebf91-4758-422c-ba8b-0cf9b600fe1c · outbound
Code as Agent Harness Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Tasks
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation b6c776ed-2d70-41b6-a351-0de009a72d1d · outbound
Code as Agent Harness Pal: Program-aided language models
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 8ae524aa-c665-4ebb-a85a-7843d92a1443 · outbound
Code as Agent Harness Chain of Code: Reasoning with a Language Model-Augmented Code Emulator
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 79eaebcd-3a1f-471c-abe6-152f95aa8cbf · outbound
Code as Agent Harness Do As I Can, Not As I Say: Grounding Language in Robotic Affordances
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d5855829-27e1-4879-af1e-e031212a392b · outbound
Code as Agent Harness Code as policies: Language model programs for embodied control
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 2ed9be55-4d78-4387-a56f-21c85bf87831 · outbound
Code as Agent Harness Intercode: Standardizing and benchmarking interactive coding with execution feedback.Advances in Neural Information Processing Systems, 36:23826–23854
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 19d9027c-8f82-4dfa-b0a4-f9753513349d · outbound
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation de0be889-0400-4a27-b736-c98c7af1ec5c · outbound
Code as Agent Harness Meta-Harness: End-to-End Optimization of Model Harnesses
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 62091a2a-0c50-4260-b9b1-6ff35083e5f4 · outbound
Code as Agent Harness Effective harnesses for long-running agents
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 13a4d9e4-1f5e-4d85-9ed4-bccd3c7270c9 · outbound
Code as Agent Harness Harness engineering: Leveraging codex in an agent-first world.https://openai
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation c9c18424-cedc-4d73-a54a-5d01a763ca36 · outbound
Code as Agent Harness Agentic Context Engineering: Evolving Contexts for Self-Improving Language Models
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation ff6d6d18-74b5-476f-bb63-1c6fc777c865 · outbound
Code as Agent Harness GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d1490ede-d7c8-4a16-b2d5-b929bbfdd4e1 · outbound
Code as Agent Harness ToolCoder: Teach Code Generation Models to use API search tools
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 6380dea5-89f4-406d-aabf-21643f193f89 · outbound
Code as Agent Harness Teaching code llms to use autocompletion tools in repository-level code generation.ACM Transactions on Software Engineering and Methodology, 34(7):1–27
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 433d2d70-ab53-4ec8-a24e-daa34df42ad8 · outbound
Code as Agent Harness Execution guided line-by-line code generation
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation f789340d-971e-4f5e-b7f7-adfcbeaa294c · outbound
Code as Agent Harness Computer Environments Elicit General Agentic Intelligence in LLMs
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 111c2bbb-117e-4e6b-b032-9002a60c9802 · outbound
Code as Agent Harness Feedbackeval: A benchmark for evaluating large language models in feedback-driven code repair tasks
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation f6ebfaee-be97-49e2-88a5-c0d06ec15d78 · outbound
Code as Agent Harness Harness engineering: Leveraging codex in an agent-first world
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 7de584e4-adce-4a0a-8038-64b5e55cb12d · outbound
Code as Agent Harness The anatomy of an agent harness
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation bfc2c5cc-e85c-4ab8-a495-fbb0f2a2986b · outbound
Code as Agent Harness Claude code
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation de352bb3-0f6c-46d4-bde1-53f79027e064 · outbound
Code as Agent Harness Introducing Codex
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 0fe19308-cc69-4760-88de-aa1e28baaf8d · outbound
Code as Agent Harness Improving deep agents with harness engineering
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 926abe06-0691-4574-8912-937516e02f74 · outbound
Code as Agent Harness Satlm: Satisfiability-aided language models using declarative prompting.Advances in Neural Information Processing Systems, 36:45548–45580
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 38b6bc2c-4ef0-4cb9-b488-01ba34986627 · outbound
Code as Agent Harness NExT: Teaching Large Language Models to Reason about Code Execution
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation ce33b0b7-ed78-4dcc-99c5-e8156bd81e77 · outbound
Code as Agent Harness Codeprm: Execution feedback-enhanced process reward model for code generation
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 81ae367b-5fc6-45b9-80c4-e17b5b1519fe · outbound
Code as Agent Harness Voyager: An Open-Ended Embodied Agent with Large Language Models
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 5d2b6f99-f226-4101-a6df-ba9ea8725705 · outbound
Code as Agent Harness RoboCodeX: Multimodal Code Generation for Robotic Behavior Synthesis
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 264137a1-e1d6-4999-9369-4f448be66327 · outbound
Code as Agent Harness Code- bt: A code-driven approach to behavior tree generation for robot tasks planning with large language models
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 9f36f6e1-50f8-4e76-a570-6e8b0047b9b6 · outbound
Code as Agent Harness Ui-voyager: A self-evolving gui agent learning via failed experience
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 8c30c19e-8e51-4b52-b21a-32c5bc9bdfe1 · outbound
Code as Agent Harness Unresolved cited work
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 5ddd27f3-d1e2-4a48-83e5-77db0b6cca91 · outbound
Code as Agent Harness Cwm: An open-weights llm for research on code generation with world models
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 3c35c3cf-3a60-40ac-80f8-c296d34d6da3 · outbound
Code as Agent Harness Code2world: A gui world model via renderable code generation
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation a8d1e63b-dd6f-4428-b01e-57f2b4e3d689 · outbound
Code as Agent Harness Endless terminals: Scaling rl environments for terminal agents
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 7eefce52-8556-43d1-9a05-66ba87570b4d · outbound
Code as Agent Harness Self-planning code generation with large language models.ACM Transactions on Software Engineering and Methodology, 33(7):1–30
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation c31d85a3-8433-4499-a2cb-97c46bd51cfa · outbound
Code as Agent Harness A Real-World WebAgent with Planning, Long Context Understanding, and Program Synthesis
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 58836e30-c8ec-4425-bfc1-6ee217d538f1 · outbound
Code as Agent Harness Codeplan: Repository-level coding using llms and planning.Proceedings of the ACM on Software Engineering, 1(FSE):675–698
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation b15fbd8f-9c68-4186-990c-7f8fe48172ed · outbound
Code as Agent Harness Codetree: Agent-guided tree search for code generation with large language models
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation faa4ea4e-01a5-4696-96e9-76855bfa7d62 · outbound
Code as Agent Harness Mapcoder: Multi-agent code generationforcompetitiveproblemsolving
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation b6974d82-4233-425e-a53e-4ff749156ee1 · outbound
Code as Agent Harness Codemem: Architectingreproducible agents via dynamic mcp and procedural memory
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation be6dcead-5c69-4d72-9a19-efa867ab3e8c · outbound
Code as Agent Harness Autocoderover: Autonomous program improvement
Reference 46
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation b6e7a73b-0d27-4dea-bfd0-7e9bec458a07 · outbound
Code as Agent Harness Repocoder: Repository-level code completion through iterative retrieval and generation
Reference 47
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 3e94e8e3-180e-43f8-aaad-c607b9ac5171 · outbound
Code as Agent Harness Memgovern: Enhancing code agents through learning from governed human experiences
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 23612896-7f42-42fc-a090-c83edecbdecc · outbound
Code as Agent Harness ToolNet: Connecting Large Language Models with Massive Tools via Tool Graph
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 9a643d2c-0598-4c53-b323-305f3f028d0b · outbound
Code as Agent Harness AgentCoder: Multi-Agent-based Code Generation with Iterative Testing and Optimisation
Reference 50
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d8362e79-4ad3-4e5c-96ab-f51ad51b9803 · outbound
Code as Agent Harness Adacoder: Adaptive prompt compression for programmatic visual question answering
Reference 51
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation de3b250f-7984-4e84-8ffa-ac4f667740a0 · outbound
Code as Agent Harness AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 7306c55a-f1ad-4496-8089-077eff3ec87c · outbound
Code as Agent Harness Agent harness engineering: A survey
Reference 53
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 1a966c2e-2971-42af-84c2-0dd189aee23a · outbound
Code as Agent Harness Autogen: Enabling next-gen llm applications via multi-agent conversations
Reference 54
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation bd118331-d3df-4b49-be96-88d064011fb4 · outbound
Code as Agent Harness Metagpt: MetaprogrammingforAmulti-agentcollaborativeframework
Reference 55
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 72dd6ad3-8f77-43c1-9d84-b4b50f8eccf1 · outbound
Code as Agent Harness Unresolved cited work
Reference 56
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 6428f340-d73f-4f01-9faf-880ab543fc92 · outbound
Code as Agent Harness Swe-agent: Agent-computer interfaces enable automated software engineering.Advances in Neural Information Processing Systems, 37:50528–50652
Reference 57
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 1c5b452a-5ff9-4a68-a850-5ca17c52a838 · outbound
Code as Agent Harness Xu, Xiangru Tang, Mingchen Zhuge, Jiayi Pan, Yueqi Song, Bowen Li, Jaskirat Singh, Hoang H
Reference 58
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 11839a3d-f82a-4f0a-97ca-e5ba6292e97d · outbound
Code as Agent Harness Mind2web: Towards a generalist agent for the web
Reference 59
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 25ae2070-6995-4fda-a660-cfdaea95fe83 · outbound
Code as Agent Harness WebArena: A Realistic Web Environment for Building Autonomous Agents
Reference 60
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 23b85001-224e-4b7c-b352-ac0aedad8a95 · outbound
Code as Agent Harness ChemCrow: Augmenting large-language models with chemistry tools
Reference 61
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d6cdb523-abdc-4b6f-b936-e751c82bb229 · outbound
Code as Agent Harness Autonomous chemical research with large language models.Nature, 624(7992):570–578
Reference 62
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 77dc1f0d-ee4d-4783-989b-ef342d2af1e5 · outbound
Code as Agent Harness The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery
Reference 63
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 77c8cc45-e424-4a14-89ec-f556f807c7e0 · outbound
Code as Agent Harness Biomni: A general-purpose biomedical ai agent.biorxiv
Reference 64
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 106f8ee7-0fd4-4713-898c-469fcd87a30d · outbound
Code as Agent Harness Chain-of-thought prompting elicits reasoning in large language models.Advances in neural information processing systems, 35:24824–24837
Reference 65
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 65c3a7a4-259f-47b3-a2d7-6ffec4d1780b · outbound
Code as Agent Harness Show your work: Scratchpads for intermediate computation with language models
Reference 66
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 4118a341-7994-4f22-b270-6790a31e65e1 · outbound
Code as Agent Harness Reasoning like program executors
Reference 67
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 3df5e4aa-3530-413b-a8fc-a265b487c964 · outbound
Code as Agent Harness MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical Reasoning
Reference 68
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation a3355e07-2485-4035-b694-5d41d3b68a69 · outbound
Code as Agent Harness When do program-of-thought works for reasoning? InProceedings of the AAAI conference on artificial intelligence, volume 38, pages 17691–17699
Reference 69
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation a6c7dd43-08b0-49cb-ad33-a92aa2314631 · outbound
Code as Agent Harness Towards better understanding of program-of-thought reasoning in cross-lingual and multilingual environments
Reference 70
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation e3e4049b-ae13-4ced-9f0b-64bd7b3ba692 · outbound
Code as Agent Harness Method-Based Reasoning for Large Language Models: Extraction, Reuse, and Continuous Improvement
Reference 71
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 127817bf-c411-458e-a610-e9029a0006fc · outbound
Code as Agent Harness Code- enabled language models can outperform reasoning models on diverse tasks
Reference 72
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 00f0539d-1d94-43ab-8dd0-34c66f5a5623 · outbound
Code as Agent Harness CodeIO: Condensing reasoning patterns via code input-output prediction
Reference 73
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 8c92a7b2-1c28-4dcc-9243-fdf522efb01c · outbound
Code as Agent Harness Graph of thoughts: Solving elaborate problems with large language models
Reference 74
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation de50c086-ed5c-4da7-9703-00019c8bd6ae · outbound
Code as Agent Harness Self-verifying reflection helps transformers with cot reasoning
Reference 75
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 605452b3-8114-4471-8d60-85cc9a0d4414 · outbound
Code as Agent Harness Ma-lot: Multi-agent lean-based long chain-of-thought reasoning enhances formal theorem proving.arXiv e-prints, pages arXiv–2503
Reference 76
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 524ce744-1497-4cc8-a535-35b5661e39e1 · outbound
Code as Agent Harness Ssr: Socratic self-refine for large language model reasoning
Reference 77
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 5f9916de-7c19-4ba1-8705-1b7a8f6b801e · outbound
Code as Agent Harness CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
Reference 78
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 0fc96cfe-c9b4-42f9-b4e9-4dda03bd4965 · outbound
Code as Agent Harness Code-as-symbolic-planner: Foundation model-based robot planning via symbolic code generation
Reference 79
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation a5ad446b-b3e5-4f2e-a25b-8856bcb59c0c · outbound
Code as Agent Harness In: Zong, C., Xia, F., Li, W., Navigli, R
Reference 80
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation cda72ea1-a8d5-40d5-b286-9140d1692ed1 · outbound
Code as Agent Harness The lean 4 theorem prover and programming language
Reference 81
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 5eb10634-a151-440d-8272-581dad1d59e9 · outbound
Code as Agent Harness Springer
Reference 82
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 21fc1540-a925-4619-a328-ede39c140e8f · outbound
Code as Agent Harness The coq proof assistant reference manual.INRIA, version, 6(11):17–21
Reference 83
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 322c5271-aa46-4c4f-b712-ecfee8c52438 · outbound
Code as Agent Harness Leandojo: Theorem proving with retrieval-augmented lan- guage models.Advances in Neural Information Processing Systems, 36:21573–21612
Reference 84
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 8d4cb0cc-1881-4775-b49b-69a39c5b6cb7 · outbound
Code as Agent Harness Deepseek-prover-v1
Reference 85
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation fee37aae-b697-445a-acb9-3432d52d0b60 · outbound
Code as Agent Harness Theoreml- lama: Transforming general-purpose llms into lean4 experts
Reference 86
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation cdc54fab-8aca-4236-be74-d2fec9198d4b · outbound
Code as Agent Harness DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
Reference 87
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation f8de2b03-5ae1-479b-824b-0d8c99637418 · outbound
Code as Agent Harness Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 88
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 549db9fb-e20e-493e-b34c-404cd30bc56c · outbound
Code as Agent Harness Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
Reference 89
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 6f46de49-0b3a-457b-ba3f-3d54fa207d40 · outbound
Code as Agent Harness Let’s reason formally: Natural-formal hybrid reasoning enhances llm’s math capability
Reference 90
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation a9318171-fd31-401c-8fae-14ecc7c4f5ea · outbound
Code as Agent Harness Lean4physics: Comprehensive reasoning framework for college-level physics in lean4
Reference 91
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 118a986b-1963-4640-a0a2-1a0e78c39f6d · outbound
Code as Agent Harness Physlib: The lean physics library
Reference 92
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 1195e4fd-ee45-4d3a-b61d-1e22765334a0 · outbound
Code as Agent Harness VERINA: Bench- marking Verifiable Code Generation
Reference 93
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 151f3cc4-2746-42ff-8ab5-311c351fc141 · outbound
Code as Agent Harness Goedel-code-prover: Hierarchical proof search for open state-of-the-art code verification
Reference 94
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 85bcb230-f0be-4e03-b59a-0e173d83088a · outbound
Code as Agent Harness Lean4agent: Formal modeling and verification for agent workflow and trajectory.Preprint
Reference 95
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 7fb5fcd8-e0e4-4af4-9697-72fef103eb5b · outbound
Code as Agent Harness What I cannot execute, I do not understand: Training and Evaluating LLMs on Program Execution Traces
Reference 96
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 76e3a7e2-e4c0-4404-9ab0-152fada9cb12 · outbound
Code as Agent Harness Reasoning Through Execution: Unifying Process and Outcome Rewards for Code Generation
Reference 97
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation deba4a20-6d3b-4da8-b1a3-f9a0f8d22bc2 · outbound
Code as Agent Harness Cycle: Learning to self-refine the code generation.Proceedings of the ACM on Programming Languages, 8(OOPSLA1):392–418
Reference 98
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 7c16632a-bd9b-43bb-bca8-d0ff18f47451 · outbound
Code as Agent Harness Self-edit: Fault-aware code editor for code generation
Reference 99
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 4a5a02cc-0a66-4ae8-8568-344510e5231b · outbound
Code as Agent Harness Coderl: Mastering code generation through pretrained models and deep reinforcement learning.Advances in Neural Information Processing Systems, 35:21314–21328
Reference 100
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 7c6a563f-8d8c-4ba8-ad5f-9cff54d5c9dc · outbound
Code as Agent Harness CodeRL+: Improving Code Generation via Reinforcement with Execution Semantics Alignment
Reference 101
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 543c0465-a3c1-499b-acca-de62847597bd · inbound
From Model Scaling to System Scaling: Scaling the Harness in Agentic AI Code as Agent Harness
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation b83a842c-ce63-41e1-bea1-200fbac12a7a · inbound
Governed Evolution of Agent Runtimes through Executable Operational Cognition Code as Agent Harness
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 163d4fea-7154-4d55-a967-6a8794ef4e99 · inbound
MUSE: A Unified Agentic Harness for MLLMs Code as Agent Harness
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 37a210ea-144e-4043-920c-2b74351bd361 · inbound
Demonstrating chart-plot: Closing the Last Mile of Academic Chart Generation Code as Agent Harness
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 1a77d76a-9f9f-45c3-a950-ec7affbeedbf · inbound
Auto-Configuring Scientific Simulators with Lightweight Coding-Agent Adapters Code as Agent Harness
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 3d9192c8-1b7d-4d33-a1eb-bc3afe6a125e · inbound
Auto-Configuring Scientific Simulators with Lightweight Coding-Agent Adapters Code as Agent Harness
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation b39faff1-2770-4520-9313-9923e81dd4d6 · inbound
InternVideo3: Agentify Foundation Models with Multimodal Contextual Reasoning Code as Agent Harness
Reference 294
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 3e80f71d-1931-439a-aa86-1564d9108f4e · inbound
From Question Answering to Task Completion: A Survey on Agent System and Harness Design Code as Agent Harness
Reference 57
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 91a37ffd-e715-4d02-939f-3a1b62af9523 · inbound
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation e9a64945-820c-4806-a882-bfddecab129d · inbound
Object-Centric Environment Modeling for Agentic Tasks Code as Agent Harness
Reference 9
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation eeb623de-5b40-4ab5-a451-093061820f8d · inbound
SkillOpt-Lite: Better and Faster Agent Self-evolution via One Line of Vibe Code as Agent Harness
Reference 26
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4feb195b-af34-4dce-86cf-ab60336b8493 · inbound
Specification Grounding Drives Test Effectiveness for LLM Code Code as Agent Harness
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation a1fc3914-58f9-4a6f-b21e-78b7d3297255 · inbound
From Prompts to Contracts: Harness Engineering for Auditable Enterprise LLM Agents Code as Agent Harness
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 7ab4e873-02e3-4344-a9be-66f9c7667ec2 · inbound
Harness VLA: Steering Frozen VLAs into Reliable Manipulation Primitives via Memory-Guided Agents Code as Agent Harness
Reference 17
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 949024c6-0e48-453d-b1ed-46b951b70c33 · inbound
Phantom Guardrails: When Self-Improving Agent Harnesses Fix Failures That Never Happened Code as Agent Harness
Reference 14
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ae345547-85e7-4b64-9eb2-88a74682de38 · inbound
Harness Handbook: Making Evolving Agent Harnesses Readable,Navigable, and Editable Code as Agent Harness
Reference 15
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1c0ebe3a-87c4-4c67-8e6e-68caf91b03b4 · inbound
SearchOS-V1: Towards Robust Open-Domain Information-Seeking Agent Collaboration Code as Agent Harness
Reference 161
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b15ba22c-add5-4e9b-bcce-dee4c29d3e5c · inbound
Automated Discovery Has No Universally Superior Harness Code as Agent Harness
Reference 70
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 01f1e563-e73e-492b-8520-ea0ee5174c6f · inbound
NVIDIA-labs OO Agents: Native Python Object-Oriented Agents Code as Agent Harness
Reference 41
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 807a3351-0c6a-4460-9eb2-d48aad9f7700 · inbound
Claim Plane: Enforceable Change Intents and Dynamic Scope for Parallel Coding Agents Code as Agent Harness
Reference 11
Source-reported events for the cited work
Unavailable: canonical work link unavailable.