論文の概要: PatchWrite: One Line, Not One Section -- Compile-Gated, Validity-Preserving Editing for AI-Drafted Manuscripts
- arxiv url: http://arxiv.org/abs/2608.23001v1
- Date: Mon, 24 Aug 2026 09:04:19 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-25 13:29:44.004501
- Title: PatchWrite: One Line, Not One Section -- Compile-Gated, Validity-Preserving Editing for AI-Drafted Manuscripts
- Title（参考訳）: PatchWrite: ひとつの行、ひとつのセクションではなく -- コンパイルゲート、バリデーション保存によるAIドラフトマニュアルの編集
- Abstract要約: PatchWriteは、候補編集がコミットされた原稿状態になる方法を制約する。
EDIT N Mの編集とロールバックを再利用するが、コンパイルの受け入れを致命的なログチェックで制限する。
いずれのチェックも失敗する候補は拒否され、前のHEADは保持される。
- 参考スコア（独自算出の注目度）: 2.7819582252059405
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Automated manuscript pipelines often regenerate an entire section to repair a local defect, allowing unrelated metrics and citations to change even when the resulting PDF still builds. PatchWrite instead constrains how candidate edits become committed manuscript states: it reuses bounded EDIT N M editing and rollback, but tightens compilation acceptance with fatal-log checks and adds evidence locks that require every cited key and experimental numeric token to be attested by a reference registry or experimental log. Candidates that fail either check are rejected and the previous HEAD is retained. On a 24-manuscript x 8-fault oracle stress test (768 jobs, evenly split between compile-breaking and content-only faults), whole-slot rewriting mutated an unrelated "12-layer" line in every case (0/192 preserved; numeric Jaccard 0.6667), whereas PatchWrite preserved it in 192/192 cases. Removing the compile gate reduced acceptance to 0, while removing the evidence gate allowed a hallucinated citation to pass. The same pattern held across all eight faults. To test the protocol with generation rather than oracle edits, we reran the 192 jobs with the writer model proposing the edits. The model's candidates were accepted in 75% of cases; nearly all rejections came from one reproducible failure mode in which the model attempted to delete a line using an empty replacement unsupported by the current grammar. Every accepted candidate passed both gates, and 93.75% fixed the injected fault; the remaining cases involved a technically valid but sentence-inappropriate citation and one markup-changing near-miss. In a blind evaluation of sixteen PDF pairs, both raters preferred PatchWrite for preserving lab-grounded facts (C1 Likert 5.0 vs. 2.0), while rating prose quality nearly identically. Logs from 193 in-product drafting tasks show the same classes of failures occurring in practice.
- Abstract（参考訳）: 自動原稿パイプラインは、ローカルな欠陥を修復するためにセクション全体を再生することが多く、結果のPDFがまだビルドされている場合でも、関連のないメトリクスや引用が変更される。
EDIT N Mの編集とロールバックを再利用するが、コンパイルの受け入れを致命的なログチェックで制限し、参照レジストリや試験ログによって検証されるすべての引用キーと試験的な数値トークンを必要とするエビデンスロックを追加する。
いずれのチェックも失敗する候補は拒否され、前のHEADは保持される。
24-manuscript x 8-fault Oracle stress test (768ジョブ、コンパイルブレークとコンテンツのみの障害を均等に分割する)では、すべてのケース (0/192 保存、数値 Jaccard 0.6667) で非関連な "12層" 行が書き換えられ、PatchWrite は192/192 のケースで保存された。
コンパイルゲートの取り外しは受け入れを0に減らし、エビデンスゲートの取り外しは幻覚的な引用を通すことができた。
同じパターンが8つの障害にまたがっている。
オラクル編集ではなく、世代別プロトコルをテストするために、編集を提案するライターモデルを用いて192のジョブを再編成する。
モデルの候補は75%のケースで受け入れられ、ほぼ全ての拒絶は、モデルが現在の文法でサポートされていない空の置換を使って行を削除しようとした再現可能な失敗モードから来ている。
すべての候補者が両方のゲートを通過し、93.75%が注入された断層を固定した。
16組のPDF対の盲目評価では、両者は実験室で得られた事実を保存するためにPatchWriteを好んだ(C1 Likert 5.0 vs. 2.0)。
193の製品内ドラフトタスクのログは、実際に発生した失敗のクラスを示している。
関連論文リスト
- TyPatch: Transforming Patches into Typestate Rules for Kernel Bug Detection [9.241492644741198]
我々はTyPatchを紹介し、パッチ固有の欠陥セマンティクスをアナライザの実装から分離する。
Linux v6.16では、TyPatchは559の異なるバグを発見し、そのうち121はカーネル開発者によって確認されている。
論文 参考訳（メタデータ） (2026-09-12T05:34:12Z) - AI-Assisted Design of a Post-Quantum Cryptographic Accelerator: A Deployed-Silicon Case Study [0.4251773265892765]
我々は、標準の受け入れゲートを、事実上のゴールデンレファレンスオラクルに置き換える。
エージェント型大規模言語モデルがML-KEM-768とML-DSA-65アクセラレータを駆動する実験を232回報告した。
論文 参考訳（メタデータ） (2026-09-03T16:34:50Z) - VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement [57.86962208273888]
テキストのみのプランナが入力された物理義務にプロンプトをコンパイルする監査可能な物理検証システムを提案する。
それぞれのアクションは、ペイロードがタイプされた測定か、明示的にタグ付けされた学習状態である証明付きエビデンスレコードを返す。
我々は, 実発生障害を即時参照, 空間, 時間でローカライズする, 1500クリックの欠陥記録のコーパスにおいて, 評価をアンロックする。
論文 参考訳（メタデータ） (2026-09-02T20:36:45Z) - Don't Let the Model Write the YAML: Deterministic, Minimal-Diff GitOps Remediation from LLM-Proposed Field Changes [0.0]
GitOpsでは、モデル作者に編集されたファイルや差分を持てば、最初に実践者が到達できる。
ファイルを編集する構文的行為から意味的決定(リソース、フィールド、値)を分離する代替案を提案する。
ファイルは再シリアライズされないため、diffは構成によって最小限であり、編集はモデルから独立して正確で決定論的である。
論文 参考訳（メタデータ） (2026-08-31T18:37:12Z) - Specification-first convergence with an AI coding agent: a case study of dismantling a core architectural invariant across 189 files in a 717k-line codebase with no test oracle and no human code review [0.0]
本稿では,AI符号化エージェントによる大規模建築解体のケーススタディについて報告する。
ここで述べられているプロトコルの下で、エージェントはそれを正常に完了した。
論文 参考訳（メタデータ） (2026-08-12T15:35:48Z) - One Recipe, Many Harnesses: What Self-Evolution Encodes Across Languages and Models [46.83445434865936]
自己進化型ハーネスは、エージェントが自身のロールアウトを検査し、プロンプト、ツール、メモリを編集するクローズドループシステムである。
ベンチマーク固有の適応、言語固有のエンジニアリング知識、あるいは基礎となるモデルの制限に対する補償をエンコードしているかどうかは不明だ。
論文 参考訳（メタデータ） (2026-08-10T19:45:45Z) - Independent Patch Verification for Coding Agents with a Bidirectional Reconstruct-and-Verify Framework [49.16055123488827]
大規模言語モデルを利用したコーディングエージェントは、バグレポートから直接コードパッチを生成することができる。
報告された問題を真に解決するかどうかを独立に検証するメカニズムは存在しない。
本稿では,RETRACE をトレーニング不要なポストジェネレーション検証フレームワークとして提案する。
論文 参考訳（メタデータ） (2026-08-09T22:59:13Z) - Beyond Fail-to-Pass: Iterative Hardening of Co-Generated Bug Reproduction Tests and Fixes [55.114939648705395]
大規模言語モデル(LLM)は、現実のバグに対して、プログラムの自動修正をますます実用的にしている。
バグ再現テスト(BRT)は、バグレポートを実行可能なバグ固有の信号に変換することで、このギャップを埋めるのに役立つ。
本稿では,ループ内収束基準としてLax信号を用いるコジェネレーションフレームワークであるCoHardenを提案する。
論文 参考訳（メタデータ） (2026-07-22T07:30:07Z) - One Rewrite to Fix Them All? Type-Aware Repair Allocation for Text-to-Image Prompt Optimization [59.164665622252016]
テキスト・トゥ・イメージ(T2I)ジェネレータは、間違ったカウント、スワップされた属性、あいまいな関係、不可解なテキストを生成し、そのプロンプトに忠実に従わないことが多い。
Prompt最適化は、ユーザプロンプトを書き換えて、ジェネレータの再トレーニングを必要としないことで、このような障害を修復する。
失敗する各命題は、結果のローカル制約が1つの実行可能なプロンプトにコンパイルされる前に、タイプ条件の修復演算子にルーティングされる。
論文 参考訳（メタデータ） (2026-07-21T05:31:43Z) - ContraFix: Agentic Vulnerability Repair via Differential Runtime Evidence and Skill Reuse [10.503895811137095]
大規模言語モデル(LLM)エージェントは、自動脆弱性修復にますます利用されている。
最近の実証的な結果は、これらのエージェントがいまだに現実世界の脆弱性と戦っていることを示している。
ContraFixは、再利用可能な修復スキルとランタイムエビデンスを結合するエージェントフレームワークである。
論文 参考訳（メタデータ） (2026-05-17T13:48:25Z) - Correction and Corruption: A Two-Rate View of Error Flow in LLM Protocols [51.56484100374058]
そこで本研究では,単一プロトコルステップを正確なマッチングタスクで監査するためのペアアウトカム計測インタフェースを提案する。
各インスタンスについて、インターフェースはベースラインの正当性ビットと後ステップの正当性ビットを記録する。
これらのレートは精度の変化を予測し、種、混合物、パイプライン間でテスト可能な再利用可能な経験的インターフェースを定義する。
論文 参考訳（メタデータ） (2026-04-20T13:25:40Z) - A Grammar of Machine Learning Workflows [0.0]
本稿では、教師付き学習ライフサイクルを8つのカーネルプリミティブに分解し、型付き有向非巡回グラフ(DAG)で連結する構造的救済法を提案する。
文法のコアコントリビューションはターミナルアセスメントの制約であり、テストセットの繰り返し評価は、名目上異なるエビデンス型のガードによって拒否される。
論文 参考訳（メタデータ） (2026-03-11T13:15:33Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。