Mach2：具备确定性执行约束的科研发现平台
Mach2: Scientific Discovery Platform with Deterministic Execution Constraints
AI 导读
arXiv 论文 Mach2 提出将语言模型智能体的编排与确定性的类 lint 检查耦合，对工具请求、源码变更、验收测试和工件契约进行规则把关。系统结合用户指定的测试驱动开发（TDD）、CodeGrapher 的抽象语法树分析及历史引导的进化搜索，并生成任务专属智能体包以跨独立选择的端点执行。
正文 · 原文
Abstract:Language-model agents can formulate workflows and invoke specialized tools, yet compliance with natural-language operating rules is not guaranteed by prompting alone. Mach2 addresses this limitation by coupling Eigen orchestration to deterministic, lint-like checks of tool requests, source changes, acceptance tests, and artifact contracts. Domain requirements are represented as executable predicates: mandatory failures prevent advancement of the checked operation, while diagnostic findings are retained for correction or review. User-specified test-driven development (TDD), CodeGrapher's abstract-syntax-tree analysis, and history-guided evolutionary search provide complementary verification and optimization mechanisms. Mach2 also generates task-specific agent packages for execution through independently selected endpoints. The originating harness validates returned artifacts against declared interfaces and evidence requirements without assuming continuous supervision of the remote run. Model-internal-knowledge (MIK) dependencies are recorded separately from source-grounded and test-supported findings. This paper formalizes the rule-gated execution model and the agent-package lifecycle, and proposes measurable criteria for evaluating rule compliance, engineering validity, and cross-endpoint task continuity.
| Subjects: | Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Applied Physics (physics.app-ph) |
| Cite as: | arXiv:2611.14777 [cs.SE] |
| (or arXiv:2611.14777v1 [cs.SE] for this version) | |
| https://doi.org/10.48550/arXiv.2611.14777 arXiv-issued DOI via DataCite (pending registration) |
Submission history
From: Vansh Sharma [view email]
[v1]
Tue, 10 Nov 2026 22:09:28 UTC (352 KB)
来源：arXiv cs.AI · arxiv.org