Rules to Tools: Executable Checks for LLM Agents in Scientific Computing
On the map: LLM agents and tool use → Software engineering coding agents
Abstract (arXiv)
Scientific coding agents receive equations, boundary conditions, and output requirements in writing, then must assess the programs they revise. Rules to Tools (R2T) supplies prepared executable checks of public scientific requirements. Matched SciCode repair groups share written checks, starting programs, model, and budgets; the tool group receives a callable implementation. Across two task-ID cohorts, complete repair is 26/30 with text and 29/30 with the prepared checks. Three task IDs favor tools, one favors text, and eleven tie. The eight-ID cohort scores 13/16 versus 15/16, with a task-cluster bootstrap 95% interval of [-12.5, 43.75] percentage points for the difference. The larger shared-definition SciCode cohort ties at 13/24 per group. Five development-exposed tasks with alternate starting programs score 3/10 versus 7/10. The tool group favors tasks 17, 77, and 11; initial checks flag task 17 and report no violation for tasks 77 and 11. Task 37 favors text and has no initial reported violation. A fresh source-through-Python arm also reaches 15/16, matching the dedicated command's aggregate. In a matched PDE comparison, detailed text scores 23/24 and checks score 24/24, with 31.2% lower reported model output for checks. Agent-side output savings vary by cohort, while public CPU use rises in both task-ID cohorts. These results measure task-dependent repair outcomes and agent-side costs with prepared checks.
Key facts. No citing papers in the map yet (data through 7 Oct 2026). Placed in Software engineering coding agents, one of 16 directions in LLM agents and tool use. Builds on 20 of its 22 references that are in the map. First posted on arXiv 29 Sep 2026.
Builds on
20 of 22 references.
Closest ancestors · 4
Same direction, newest first
- 2026Executable Code Knowledge: Code as a Native, Validation-Carrying Knowledge Representation for AI Coding Agents17 Aug
- 2026CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development29 Jul
- 2026Rethinking the Value of Agent-Generated Tests for LLM-Based Software Engineering Agents8 Feb
- 2025LLM Assisted Coding with Metamorphic Specification Mutation Agent23 Nov
Other references · 16
- 2023Reflexion: Language Agents with Verbal Reinforcement Learningcited by 4,064
- 2023Self-Refine: Iterative Refinement with Self-Feedbackcited by 3,317
- 2023CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquingcited by 751
- 2024SciCode: A Research Coding Benchmark Curated by Scientistscited by 172
- 2025CodePDE: An Inference Framework for LLM-driven PDE Solver Generationcited by 37
- 2025Lang-PINN: From Language to Physics-Informed Neural Networks via a Multi-Agent Frameworkcited by 11
- 2026Auto Research with Specialist Agents Develops Effective and Non-Trivial Training Recipescited by 10
- 2026Auto Research for Materials: Auditable AI-Scientist Workflows with Held-Out Transfercited by 5
- 2026PDEAgent-Bench: A Multi-Metric, Multi-Library Benchmark for PDE Solver Generationcited by 4
- 2026The Implementation Lottery: Auditing Idea Reliability in Automated Researchcited by 4
- 2026scicode-lint: Detecting Methodology Bugs in Scientific Python Code with LLM-Generated Patternscited by 3
- 2026SciCode-Verified: How Benchmark Defects Underestimated the Scientific-Coding Ability of Language Modelscited by 3
4 more
- 2026CodeSpecBench: Benchmarking LLMs for Executable Behavioral Specification Generationcited by 2
- 2026MDArena: Evaluating Coding Agents on Realistic Molecular Dynamics Workflowscited by 2
- 2026Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limitscited by 2
- 2026Teaching Code LLMs to Reason with Intermediate Formal Specificationscited by 1
Built on by
Not cited yet.
Similar, not cited
Close in wording, no citation either way
- 2026SWE-bench Science: Can Coding Agents Resolve Engineering Tasks in Science?
- 2026Probe-and-Refine Tuning of Repository Guidance for Coding Agents
- 2026SkillScriptBench: Benchmarking Self-Evolution of Executable Agent Skill Packages Beyond Markdown
- 2026CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
- 2026Is Agent Code Less Maintainable Than Human Code?
- 2026A Unified Issue Resolution Benchmark for Requirement Clarification, Planning, and Code Generation for Coding Agents
- 2025Multi-Agent Code Verification via Information Theory
- 2026SWE-Gate: Passing Functional Tests Is Not Enough for Software Engineering Agents