\relax
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\citation{chen2021evaluating,li2022competition}
\citation{madaan2023selfrefine}
\citation{du2023improving}
\citation{li2022competition}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces \textsc  {CMVK}{} architecture. The Generator (System 1) produces candidate solutions, the Verifier (System 2) attempts to find flaws through adversarial testing, and the Arbiter orchestrates the loop with strategy banning.}}{2}{figure.caption.1}\protected@file@percent }
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:architecture}{{1}{2}{\cmvk {} architecture. The Generator (System 1) produces candidate solutions, the Verifier (System 2) attempts to find flaws through adversarial testing, and the Arbiter orchestrates the loop with strategy banning}{figure.caption.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Method}{2}{section.2}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Architecture Overview}{2}{subsection.2.1}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Generator (System 1).}{2}{section*.2}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Verifier (System 2).}{2}{section*.3}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Arbiter (Deterministic Kernel).}{2}{section*.4}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Verification Loop}{2}{subsection.2.2}\protected@file@percent }
\citation{chen2021evaluating}
\@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces \textsc  {CMVK}{} Verification Loop}}{3}{algorithm.1}\protected@file@percent }
\newlabel{alg:cmvk}{{1}{3}{\cmvk {} Verification Loop}{algorithm.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Formal Analysis}{3}{subsection.2.3}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {3}Experiments}{3}{section.3}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Setup}{3}{subsection.3.1}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Dataset.}{3}{section*.5}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Models.}{3}{section*.6}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Configuration.}{3}{section*.7}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Baselines.}{3}{section*.8}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Main Results}{3}{subsection.3.2}\protected@file@percent }
\citation{madaan2023selfrefine}
\citation{dhuliawala2023chain}
\citation{bai2022constitutional}
\citation{du2023improving}
\citation{wu2023autogen}
\citation{li2023camel}
\citation{chen2021evaluating}
\citation{li2022competition}
\citation{chen2022codet}
\citation{chen2023teaching}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces HumanEval Pass@1 results. \textsc  {CMVK}{} significantly outperforms baselines ($^{**}p<0.01$).}}{4}{table.caption.9}\protected@file@percent }
\newlabel{tab:main}{{1}{4}{HumanEval Pass@1 results. \cmvk {} significantly outperforms baselines ($^{**}p<0.01$)}{table.caption.9}{}}
\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces Ablation study on HumanEval-50 (3 runs).}}{4}{table.caption.10}\protected@file@percent }
\newlabel{tab:ablation}{{2}{4}{Ablation study on HumanEval-50 (3 runs)}{table.caption.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Ablation Study}{4}{subsection.3.3}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Sabotage Detection (Red-Team)}{4}{subsection.3.4}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {4}Related Work}{4}{section.4}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Self-Correction.}{4}{section*.12}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Multi-Agent Systems.}{4}{section*.13}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Code Generation.}{4}{section*.14}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {5}Limitations and Future Work}{4}{section.5}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Limitations.}{4}{section*.15}\protected@file@percent }
\bibstyle{plainnat}
\bibdata{references}
\bibcite{bai2022constitutional}{{1}{2022}{{Bai et~al.}}{{Bai, Kadavath, Kundu, Askell, Kernion, Jones, Chen, Goldie, Mirhoseini, McKinnon, et~al.}}}
\bibcite{chen2022codet}{{2}{2022}{{Chen et~al.}}{{Chen, Zhang, Nguyen, Zan, Lin, Lou, and Chen}}}
\bibcite{chen2021evaluating}{{3}{2021}{{Chen et~al.}}{{Chen, Tworek, Jun, Yuan, Pinto, Kaplan, Edwards, Burda, Joseph, Brockman, et~al.}}}
\bibcite{chen2023teaching}{{4}{2023}{{Chen et~al.}}{{Chen, Lin, Sch{\"a}rli, and Zhou}}}
\bibcite{dhuliawala2023chain}{{5}{2023}{{Dhuliawala et~al.}}{{Dhuliawala, Komeili, Xu, Raber, Li, Celikyilmaz, and Weston}}}
\bibcite{du2023improving}{{6}{2023}{{Du et~al.}}{{Du, Li, Torralba, Tenenbaum, and Mordatch}}}
\bibcite{li2023camel}{{7}{2023}{{Li et~al.}}{{Li, Hammoud, Itani, Khizbullin, and Ghanem}}}
\@writefile{lot}{\contentsline {table}{\numberline {3}{\ignorespaces Sabotage detection results.}}{5}{table.caption.11}\protected@file@percent }
\newlabel{tab:sabotage}{{3}{5}{Sabotage detection results}{table.caption.11}{}}
\@writefile{toc}{\contentsline {paragraph}{Future Work.}{5}{section*.16}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {6}Conclusion}{5}{section.6}\protected@file@percent }
\bibcite{li2022competition}{{8}{2022}{{Li et~al.}}{{Li, Choi, Chung, Kushman, Schrittwieser, Leblond, Eccles, Keeling, Gimeno, Dal~Lago, et~al.}}}
\bibcite{madaan2023selfrefine}{{9}{2023}{{Madaan et~al.}}{{Madaan, Tandon, Gupta, Hallinan, Gao, Wiegreffe, Alon, Dziri, Prabhumoye, Yang, et~al.}}}
\bibcite{wu2023autogen}{{10}{2023}{{Wu et~al.}}{{Wu, Bansal, Zhang, Wu, Li, Zhu, Jiang, Zhang, Zhang, Liu, et~al.}}}
\@writefile{toc}{\contentsline {section}{\numberline {A}Hyperparameters}{6}{appendix.A}\protected@file@percent }
\newlabel{app:hyperparams}{{A}{6}{Hyperparameters}{appendix.A}{}}
\@writefile{toc}{\contentsline {section}{\numberline {B}Ethics and Safety}{6}{appendix.B}\protected@file@percent }
\newlabel{app:ethics}{{B}{6}{Ethics and Safety}{appendix.B}{}}
\@writefile{toc}{\contentsline {paragraph}{Sandbox Security.}{6}{section*.21}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Dual-Use.}{6}{section*.22}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{LLM Disclosure.}{6}{section*.23}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {C}Example Traces}{6}{appendix.C}\protected@file@percent }
\newlabel{app:traces}{{C}{6}{Example Traces}{appendix.C}{}}
\gdef \@abspage@last{6}
