--- title: "References" canonical: "https://verificationdesign.com/references/" license: "CC BY 4.0" generated: true --- # References - [aaai:36598](https://ojs.aaai.org/index.php/AIES/article/download/36598/38736/40673): Cited from [Verification Design Principles](https://verificationdesign.com/principles/). - [acm:10.1145/2635868.2635920](https://dl.acm.org/doi/10.1145/2635868.2635920): Cited from [Verification Design Principles](https://verificationdesign.com/principles/). - [ADK](https://github.com/google/adk-python): Cited from [Guardrail Decorator](https://verificationdesign.com/patterns/context-and-state/guardrail-decorator/), [Causal Tag](https://verificationdesign.com/patterns/context-and-state/causal-tag/), [Comparator](https://verificationdesign.com/patterns/verification/comparator/), [Judge Harness](https://verificationdesign.com/patterns/verification/judge-harness/), [Admissibility Gate](https://verificationdesign.com/patterns/verification/admissibility-gate/). - [Aider](https://github.com/Aider-AI/aider): Cited from [Delta](https://verificationdesign.com/patterns/verification/delta/). - [arXiv:2212.08073](https://arxiv.org/abs/2212.08073): Cited from [Constitution](https://verificationdesign.com/patterns/context-and-state/constitution/), [Verification Design Principles](https://verificationdesign.com/principles/). - [arXiv:2303.11366](https://arxiv.org/abs/2303.11366): Cited from [Verification Design Principles](https://verificationdesign.com/principles/). - [arXiv:2309.11495](https://arxiv.org/abs/2309.11495): Cited from [Blind Oracle](https://verificationdesign.com/patterns/verification/blind-oracle/), [Verification Design Principles](https://verificationdesign.com/principles/). - [arXiv:2310.01798](https://arxiv.org/abs/2310.01798): Cited from [Constitution](https://verificationdesign.com/patterns/context-and-state/constitution/), [Executable Analog](https://verificationdesign.com/patterns/verification/executable-analog/), [Verification Design Principles](https://verificationdesign.com/principles/), [Home](https://verificationdesign.com/), [About](https://verificationdesign.com/about/). - [arXiv:2410.10934](https://arxiv.org/abs/2410.10934): Cited from [Executable Analog](https://verificationdesign.com/patterns/verification/executable-analog/), [Verification Design Principles](https://verificationdesign.com/principles/). - [arXiv:2504.16828](https://arxiv.org/abs/2504.16828): Cited from [Verification Design Principles](https://verificationdesign.com/principles/). - [arXiv:2511.17826](https://arxiv.org/abs/2511.17826): Cited from [Verification Design Principles](https://verificationdesign.com/principles/). - [arXiv:2512.02304](https://arxiv.org/abs/2512.02304): Cited from [Verification Design Principles](https://verificationdesign.com/principles/). - [arXiv:2512.20845](https://arxiv.org/abs/2512.20845): Cited from [Verification Design Principles](https://verificationdesign.com/principles/). - [arXiv:2601.12294](https://arxiv.org/abs/2601.12294): Cited from [Trajectory Cursor](https://verificationdesign.com/patterns/context-and-state/trajectory-cursor/). - [arXiv:2601.14691](https://arxiv.org/abs/2601.14691): Cited from [Constitution](https://verificationdesign.com/patterns/context-and-state/constitution/), [Judge Harness](https://verificationdesign.com/patterns/verification/judge-harness/). - [arXiv:2603.05399](https://arxiv.org/abs/2603.05399): Cited from [Constitution](https://verificationdesign.com/patterns/context-and-state/constitution/), [Judge Harness](https://verificationdesign.com/patterns/verification/judge-harness/). - [AutoGen](https://github.com/microsoft/autogen): Cited from [Trajectory Cursor](https://verificationdesign.com/patterns/context-and-state/trajectory-cursor/), [Admissibility Gate](https://verificationdesign.com/patterns/verification/admissibility-gate/), [Cross-Family](https://verificationdesign.com/patterns/orchestration/cross-family/), [Adversary](https://verificationdesign.com/patterns/orchestration/adversary/), [Debate](https://verificationdesign.com/patterns/orchestration/debate/), [Escalation Chain](https://verificationdesign.com/patterns/orchestration/escalation-chain/), [Backpressure](https://verificationdesign.com/patterns/orchestration/backpressure/), [Tool Adapter](https://verificationdesign.com/patterns/orchestration/tool-adapter/). - [AutoGPT](https://github.com/Significant-Gravitas/AutoGPT): Cited from [Guardrail Decorator](https://verificationdesign.com/patterns/context-and-state/guardrail-decorator/), [Trajectory Cursor](https://verificationdesign.com/patterns/context-and-state/trajectory-cursor/), [State Baseline](https://verificationdesign.com/patterns/context-and-state/state-baseline/), [Adversary](https://verificationdesign.com/patterns/orchestration/adversary/), [Debate](https://verificationdesign.com/patterns/orchestration/debate/). - [ChatArena](https://github.com/Farama-Foundation/chatarena): Cited from [Cross-Family](https://verificationdesign.com/patterns/orchestration/cross-family/). - [CrewAI](https://github.com/crewAIInc/crewAI): Cited from [State Baseline](https://verificationdesign.com/patterns/context-and-state/state-baseline/), [Escalation Chain](https://verificationdesign.com/patterns/orchestration/escalation-chain/), [Backpressure](https://verificationdesign.com/patterns/orchestration/backpressure/), [Tool Adapter](https://verificationdesign.com/patterns/orchestration/tool-adapter/). - [DeepEval](https://github.com/confident-ai/deepeval): Cited from [Cross-Family](https://verificationdesign.com/patterns/orchestration/cross-family/). - [Dify](https://github.com/langgenius/dify): Cited from [Trajectory Cursor](https://verificationdesign.com/patterns/context-and-state/trajectory-cursor/), [State Baseline](https://verificationdesign.com/patterns/context-and-state/state-baseline/), [Backpressure](https://verificationdesign.com/patterns/orchestration/backpressure/). - [doi:10.1162/tacl_a_00713](https://direct.mit.edu/tacl/article/doi/10.1162/tacl_a_00713/125177): Cited from [Verification Design Principles](https://verificationdesign.com/principles/). - [DSPy](https://github.com/stanfordnlp/dspy): Cited from [Cross-Family](https://verificationdesign.com/patterns/orchestration/cross-family/). - [LangChain](https://github.com/langchain-ai/langchain): Cited from [Causal Tag](https://verificationdesign.com/patterns/context-and-state/causal-tag/), [Blind Oracle](https://verificationdesign.com/patterns/verification/blind-oracle/), [Comparator](https://verificationdesign.com/patterns/verification/comparator/), [Judge Harness](https://verificationdesign.com/patterns/verification/judge-harness/). - [OpenClaw](https://github.com/openclaw/openclaw): Cited from [State Baseline](https://verificationdesign.com/patterns/context-and-state/state-baseline/). - [openreview:4O0v4s3IzY](https://openreview.net/forum?id=4O0v4s3IzY): Cited from [Verification Design Principles](https://verificationdesign.com/principles/). - [openreview:MTvYflAH62](https://openreview.net/forum?id=MTvYflAH62): Cited from [Verification Design Principles](https://verificationdesign.com/principles/). - [the synthesis claim on LLM-judge reliability](https://github.com/verificationdesign/verificationdesign/blob/main/research/synthesis.md#llm-judge-reliability-can-vary-across-benchmarks-and-perturbations-even-when-the-judge-comes-from-a-different-model-family): Cited from [Cross-Family](https://verificationdesign.com/patterns/orchestration/cross-family/).