agent-os-kernel 1.1.0__py3-none-any.whl → 1.2.0__py3-none-any.whl

modules/cmvk/paper/arxiv_checklist.md

@@ -0,0 +1,230 @@
+# arXiv / NeurIPS / ICLR Submission Checklist
+
+This checklist ensures the CMVK paper meets venue requirements for top ML conferences.
+
+## Pre-Submission Checklist
+
+### 1. Paper Format & Structure
+
+- [ ] **Page Limit**: ≤8 pages (NeurIPS/ICLR main), ≤9 pages (ICML)
+- [ ] **Anonymous Submission**: No author names, affiliations, or identifying info
+- [ ] **Template**: Using official venue LaTeX template
+- [ ] **Font Size**: 10pt minimum (no squeezing)
+- [ ] **Margins**: Per template (do not modify)
+- [ ] **References**: Unlimited pages (not counted)
+- [ ] **Appendix**: Unlimited pages (after references)
+
+### 2. LLM Usage Disclosure ⚠️ IMPORTANT
+
+**Required by most venues starting 2024:**
+
+- [ ] Disclosed use of LLMs in research methodology
+- [ ] Specified which LLMs used (GPT-4o, Gemini 1.5 Pro, Claude 3.5 Sonnet)
+- [ ] Described prompts used (or stated they're in appendix/supplement)
+- [ ] Noted any LLM assistance in writing (if applicable)
+- [ ] API versions/dates documented
+
+**Sample disclosure text:**
+```
+This work studies cross-model verification using large language models.
+Specifically, we use GPT-4o (gpt-4o-2024-05-13) as Generator, and
+Gemini 1.5 Pro (gemini-1.5-pro-latest) or Claude 3.5 Sonnet as Verifier.
+All prompts are provided in Appendix A. The code is MIT-licensed and
+available at [anonymized for review].
+```
+
+### 3. Reproducibility Checklist
+
+**Code & Data:**
+- [ ] Code will be released (state license)
+- [ ] Provide anonymized code link for review (e.g., anonymous GitHub)
+- [ ] All hyperparameters documented
+- [ ] Random seeds specified and fixed
+- [ ] Dataset versions specified
+
+**Environment:**
+- [ ] Python version: 3.11
+- [ ] All dependencies in `requirements.txt` with exact versions
+- [ ] Hardware requirements documented (GPU optional, API keys required)
+- [ ] Estimated compute cost documented
+
+**Experiments:**
+- [ ] Number of runs per experiment: ≥3 (recommend 5)
+- [ ] Error bars / confidence intervals on all results
+- [ ] Statistical significance tests (p < 0.05)
+- [ ] Baseline comparisons are fair (same compute budget)
+
+### 4. Ethics Statement
+
+- [ ] Dual-use considerations discussed
+- [ ] No personally identifiable information in datasets
+- [ ] Safety considerations for code execution documented
+- [ ] Prompt injection risks acknowledged
+- [ ] No deceptive content generation
+
+**Sample ethics text:**
+```
+This work presents a verification system that improves code reliability.
+We acknowledge potential dual-use concerns: adversarial prompts in our
+"prosecutor mode" could theoretically be adapted for malicious purposes.
+We mitigate this by: (1) sandboxing all code execution, (2) rate-limiting
+API calls, (3) releasing code under MIT license for transparency.
+See Appendix B for detailed safety considerations.
+```
+
+### 5. Broader Impact Statement
+
+- [ ] Positive impacts listed
+- [ ] Potential negative impacts acknowledged
+- [ ] Mitigation strategies described
+- [ ] Environmental impact considered (API calls ≈ carbon cost)
+
+### 6. Anonymization for Blind Review
+
+**Remove from paper:**
+- [ ] Author names and affiliations
+- [ ] Acknowledgments (can add after acceptance)
+- [ ] Personal URLs (use anonymous links)
+- [ ] "Our previous work [Author et al.]" → "Prior work [XX]"
+- [ ] Company/lab-specific references
+
+**Code anonymization:**
+- [ ] GitHub → Anonymous GitHub or OpenReview link
+- [ ] Remove author names from code comments
+- [ ] Remove personal API keys (obviously)
+- [ ] Provide environment setup instructions
+
+### 7. Figures & Tables
+
+**Quality:**
+- [ ] All figures ≥300 DPI for print
+- [ ] Legible when printed in grayscale
+- [ ] Colorblind-friendly palette used
+- [ ] Axis labels and legends readable at printed size
+
+**Content:**
+- [ ] Figure 1: Architecture diagram
+- [ ] Figure 2: Verification loop flow
+- [ ] Figure 3: Main results (bar chart)
+- [ ] Figure 4: Ablation study
+- [ ] Table 1: Comparison with baselines
+- [ ] Table 2: Model pair analysis
+
+### 8. Related Work
+
+- [ ] Self-consistency / self-verification methods cited
+- [ ] Multi-agent debate papers cited
+- [ ] Constitutional AI cited (if relevant)
+- [ ] LLM-as-judge papers cited
+- [ ] Code generation benchmarks cited (HumanEval, MBPP)
+- [ ] No missing obvious citations
+
+### 9. Claims & Evidence
+
+- [ ] All claims supported by experiments or citations
+- [ ] Limitations clearly stated
+- [ ] No overclaiming ("solves" → "improves")
+- [ ] Failure cases discussed
+
+### 10. Final Checks
+
+- [ ] Spell check completed
+- [ ] Grammar check completed
+- [ ] All figures referenced in text
+- [ ] All tables referenced in text
+- [ ] All citations in bibliography
+- [ ] Page numbers correct (if required)
+- [ ] PDF renders correctly
+- [ ] Supplementary material uploaded (if any)
+
+---
+
+## Venue-Specific Requirements
+
+### NeurIPS 2024/2025
+
+- Main paper: 8 pages
+- References: unlimited
+- Appendix: unlimited
+- **Paper checklist**: REQUIRED (in LaTeX template)
+- **Code**: Encouraged via OpenReview
+- **Ethics review**: May be flagged for additional review
+
+### ICLR 2024/2025
+
+- Main paper: 8 pages
+- References: unlimited
+- Appendix: unlimited
+- **Reproducibility checklist**: Required
+- **OpenReview**: Comments visible during review
+
+### ICML 2024/2025
+
+- Main paper: 9 pages
+- References: unlimited
+- Appendix: unlimited
+- **Impact statement**: Required
+- **Code**: Submission via CMT
+
+### arXiv (Preprint)
+
+- No page limit
+- Include author names (not anonymous)
+- Use `cs.LG` (Machine Learning) as primary category
+- Secondary: `cs.CL` (Computation and Language), `cs.SE` (Software Engineering)
+- License: CC BY 4.0 recommended
+
+---
+
+## Quick Reference: Key Dates
+
+Update these for your target venue:
+
+| Venue | Abstract Due | Paper Due | Notification |
+|-------|--------------|-----------|--------------|
+| NeurIPS 2025 | TBD | TBD | TBD |
+| ICLR 2025 | TBD | TBD | TBD |
+| ICML 2025 | TBD | TBD | TBD |
+| arXiv | Anytime | Anytime | Instant |
+
+---
+
+## Common Rejection Reasons to Avoid
+
+1. **Novelty concerns**: Clearly state contribution vs. prior work
+2. **Evaluation gaps**: Include multiple baselines, metrics, datasets
+3. **Reproducibility**: Provide code, seeds, exact prompts
+4. **Overclaiming**: Use measured language
+5. **Missing related work**: Cite recent 2023-2024 papers
+6. **Statistical rigor**: Include confidence intervals and p-values
+
+---
+
+## CMVK-Specific Items
+
+### Unique Contributions to Highlight
+
+1. **Cross-model verification** (not just self-verification)
+2. **Graph of Truth** as explicit state representation
+3. **Prosecutor Mode** for adversarial robustness
+4. **Strategy banning** to avoid repetition
+5. **Empirical validation** on HumanEval with significant improvement
+
+### Key Results to Report
+
+| Metric | Value | Notes |
+|--------|-------|-------|
+| HumanEval Pass@1 (baseline) | 84.1% | GPT-4o alone |
+| HumanEval Pass@1 (CMVK) | 92.4% | GPT-4o + Gemini |
+| Improvement | +8.3pp | Statistically significant |
+| Sabotage Detection | 89% | Prosecutor mode |
+| Avg Verification Loops | 1.8 | Efficiency |
+
+### Code Release Plan
+
+- [ ] Clean up code comments
+- [ ] Add docstrings to all public functions
+- [ ] Ensure all tests pass
+- [ ] Create reproducibility script (`experiments/reproducible_runner.py`)
+- [ ] Upload to HuggingFace (datasets)
+- [ ] Create Colab notebook for easy replication

modules/cmvk/paper/cmvk_neurips.aux

@@ -0,0 +1,77 @@
+\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}

modules/cmvk/paper/cmvk_neurips.bbl

@@ -0,0 +1,81 @@
+\begin{thebibliography}{10}
+\providecommand{\natexlab}[1]{#1}
+\providecommand{\url}[1]{\texttt{#1}}
+\expandafter\ifx\csname urlstyle\endcsname\relax
+  \providecommand{\doi}[1]{doi: #1}\else
+  \providecommand{\doi}{doi: \begingroup \urlstyle{rm}\Url}\fi
+
+\bibitem[Bai et~al.(2022)Bai, Kadavath, Kundu, Askell, Kernion, Jones, Chen,
+  Goldie, Mirhoseini, McKinnon, et~al.]{bai2022constitutional}
+Yuntao Bai, Saurav Kadavath, Sandipan Kundu, Amanda Askell, Jackson Kernion,
+  Andy Jones, Anna Chen, Anna Goldie, Azalia Mirhoseini, Cameron McKinnon,
+  et~al.
+\newblock Constitutional ai: Harmlessness from ai feedback.
+\newblock \emph{arXiv preprint arXiv:2212.08073}, 2022.
+
+\bibitem[Chen et~al.(2022)Chen, Zhang, Nguyen, Zan, Lin, Lou, and
+  Chen]{chen2022codet}
+Bei Chen, Fengji Zhang, Anh Nguyen, Daoguang Zan, Zeqi Lin, Jian-Guang Lou, and
+  Weizhu Chen.
+\newblock Codet: Code generation with generated tests.
+\newblock \emph{arXiv preprint arXiv:2207.10397}, 2022.
+
+\bibitem[Chen et~al.(2021)Chen, Tworek, Jun, Yuan, Pinto, Kaplan, Edwards,
+  Burda, Joseph, Brockman, et~al.]{chen2021evaluating}
+Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde de~Oliveira
+  Pinto, Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg
+  Brockman, et~al.
+\newblock Evaluating large language models trained on code.
+\newblock \emph{arXiv preprint arXiv:2107.03374}, 2021.
+
+\bibitem[Chen et~al.(2023)Chen, Lin, Sch{\"a}rli, and Zhou]{chen2023teaching}
+Xinyun Chen, Maxwell Lin, Nathanael Sch{\"a}rli, and Denny Zhou.
+\newblock Teaching large language models to self-debug.
+\newblock \emph{arXiv preprint arXiv:2304.05128}, 2023.
+
+\bibitem[Dhuliawala et~al.(2023)Dhuliawala, Komeili, Xu, Raber, Li,
+  Celikyilmaz, and Weston]{dhuliawala2023chain}
+Shehzaad Dhuliawala, Mojtaba Komeili, Jing Xu, Roberta Raber, Xian Li, Asli
+  Celikyilmaz, and Jason Weston.
+\newblock Chain-of-verification reduces hallucination in large language models.
+\newblock \emph{arXiv preprint arXiv:2309.11495}, 2023.
+
+\bibitem[Du et~al.(2023)Du, Li, Torralba, Tenenbaum, and
+  Mordatch]{du2023improving}
+Yilun Du, Shuang Li, Antonio Torralba, Joshua~B Tenenbaum, and Igor Mordatch.
+\newblock Improving factuality and reasoning in language models through
+  multiagent debate.
+\newblock \emph{arXiv preprint arXiv:2305.14325}, 2023.
+
+\bibitem[Li et~al.(2023)Li, Hammoud, Itani, Khizbullin, and
+  Ghanem]{li2023camel}
+Guohao Li, Hasan Abed Al~Kader Hammoud, Hani Itani, Dmitrii Khizbullin, and
+  Bernard Ghanem.
+\newblock Camel: Communicative agents for "mind" exploration of large language
+  model society.
+\newblock \emph{arXiv preprint arXiv:2303.17760}, 2023.
+
+\bibitem[Li et~al.(2022)Li, Choi, Chung, Kushman, Schrittwieser, Leblond,
+  Eccles, Keeling, Gimeno, Dal~Lago, et~al.]{li2022competition}
+Yujia Li, David Choi, Junyoung Chung, Nate Kushman, Julian Schrittwieser,
+  R{\'e}mi Leblond, Tom Eccles, James Keeling, Felix Gimeno, Agustin Dal~Lago,
+  et~al.
+\newblock Competition-level code generation with alphacode.
+\newblock \emph{Science}, 378\penalty0 (6624):\penalty0 1092--1097, 2022.
+
+\bibitem[Madaan et~al.(2023)Madaan, Tandon, Gupta, Hallinan, Gao, Wiegreffe,
+  Alon, Dziri, Prabhumoye, Yang, et~al.]{madaan2023selfrefine}
+Aman Madaan, Niket Tandon, Prakhar Gupta, Skyler Hallinan, Luyu Gao, Sarah
+  Wiegreffe, Uri Alon, Nouha Dziri, Shrimai Prabhumoye, Yiming Yang, et~al.
+\newblock Self-refine: Iterative refinement with self-feedback.
+\newblock \emph{arXiv preprint arXiv:2303.17651}, 2023.
+
+\bibitem[Wu et~al.(2023)Wu, Bansal, Zhang, Wu, Li, Zhu, Jiang, Zhang, Zhang,
+  Liu, et~al.]{wu2023autogen}
+Qingyun Wu, Gagan Bansal, Jieyu Zhang, Yiran Wu, Beibin Li, Erkang Zhu,
+  Li~Jiang, Xiaoyun Zhang, Shaokun Zhang, Jiale Liu, et~al.
+\newblock Autogen: Enabling next-gen llm applications via multi-agent
+  conversation.
+\newblock \emph{arXiv preprint arXiv:2308.08155}, 2023.
+
+\end{thebibliography}

modules/cmvk/paper/cmvk_neurips.blg

@@ -0,0 +1,48 @@
+This is BibTeX, Version 0.99e
+Capacity: max_strings=200000, hash_size=200000, hash_prime=170003
+The top-level auxiliary file: cmvk_neurips.aux
+Reallocating 'name_of_file' (item size: 1) to 9 items.
+The style file: plainnat.bst
+Reallocating 'name_of_file' (item size: 1) to 11 items.
+Database file #1: references.bib
+You've used 10 entries,
+            2773 wiz_defined-function locations,
+            639 strings with 7414 characters,
+and the built_in function-call counts, 6874 in all, are:
+= -- 508
+> -- 772
+< -- 0
++ -- 259
+- -- 249
+* -- 666
+:= -- 1169
+add.period$ -- 30
+call.type$ -- 10
+change.case$ -- 108
+chr.to.int$ -- 10
+cite$ -- 20
+duplicate$ -- 201
+empty$ -- 323
+format.name$ -- 259
+if$ -- 1332
+int.to.chr$ -- 1
+int.to.str$ -- 1
+missing$ -- 10
+newline$ -- 58
+num.names$ -- 40
+pop$ -- 214
+preamble$ -- 1
+purify$ -- 98
+quote$ -- 0
+skip$ -- 204
+stack$ -- 0
+substring$ -- 51
+swap$ -- 10
+text.length$ -- 0
+text.prefix$ -- 0
+top$ -- 0
+type$ -- 110
+warning$ -- 0
+while$ -- 32
+width$ -- 0
+write$ -- 128

modules/cmvk/paper/cmvk_neurips.out

@@ -0,0 +1,16 @@
+\BOOKMARK [1][-]{section.1}{\376\377\000I\000n\000t\000r\000o\000d\000u\000c\000t\000i\000o\000n}{}% 1
+\BOOKMARK [1][-]{section.2}{\376\377\000M\000e\000t\000h\000o\000d}{}% 2
+\BOOKMARK [2][-]{subsection.2.1}{\376\377\000A\000r\000c\000h\000i\000t\000e\000c\000t\000u\000r\000e\000\040\000O\000v\000e\000r\000v\000i\000e\000w}{section.2}% 3
+\BOOKMARK [2][-]{subsection.2.2}{\376\377\000V\000e\000r\000i\000f\000i\000c\000a\000t\000i\000o\000n\000\040\000L\000o\000o\000p}{section.2}% 4
+\BOOKMARK [2][-]{subsection.2.3}{\376\377\000F\000o\000r\000m\000a\000l\000\040\000A\000n\000a\000l\000y\000s\000i\000s}{section.2}% 5
+\BOOKMARK [1][-]{section.3}{\376\377\000E\000x\000p\000e\000r\000i\000m\000e\000n\000t\000s}{}% 6
+\BOOKMARK [2][-]{subsection.3.1}{\376\377\000S\000e\000t\000u\000p}{section.3}% 7
+\BOOKMARK [2][-]{subsection.3.2}{\376\377\000M\000a\000i\000n\000\040\000R\000e\000s\000u\000l\000t\000s}{section.3}% 8
+\BOOKMARK [2][-]{subsection.3.3}{\376\377\000A\000b\000l\000a\000t\000i\000o\000n\000\040\000S\000t\000u\000d\000y}{section.3}% 9
+\BOOKMARK [2][-]{subsection.3.4}{\376\377\000S\000a\000b\000o\000t\000a\000g\000e\000\040\000D\000e\000t\000e\000c\000t\000i\000o\000n\000\040\000\050\000R\000e\000d\000-\000T\000e\000a\000m\000\051}{section.3}% 10
+\BOOKMARK [1][-]{section.4}{\376\377\000R\000e\000l\000a\000t\000e\000d\000\040\000W\000o\000r\000k}{}% 11
+\BOOKMARK [1][-]{section.5}{\376\377\000L\000i\000m\000i\000t\000a\000t\000i\000o\000n\000s\000\040\000a\000n\000d\000\040\000F\000u\000t\000u\000r\000e\000\040\000W\000o\000r\000k}{}% 12
+\BOOKMARK [1][-]{section.6}{\376\377\000C\000o\000n\000c\000l\000u\000s\000i\000o\000n}{}% 13
+\BOOKMARK [1][-]{appendix.A}{\376\377\000H\000y\000p\000e\000r\000p\000a\000r\000a\000m\000e\000t\000e\000r\000s}{}% 14
+\BOOKMARK [1][-]{appendix.B}{\376\377\000E\000t\000h\000i\000c\000s\000\040\000a\000n\000d\000\040\000S\000a\000f\000e\000t\000y}{}% 15
+\BOOKMARK [1][-]{appendix.C}{\376\377\000E\000x\000a\000m\000p\000l\000e\000\040\000T\000r\000a\000c\000e\000s}{}% 16