Verification Design

References

Bibliography extracted from canonical principles and pattern-card evidence sections. Entries are deduplicated by link target.

  1. aaai:36598 Cited from Verification Design Principles .
  2. acm:10.1145/2635868.2635920 Cited from Verification Design Principles .
  3. ADK Cited from Adversarial Frame , Causal Tag , Comparator , Guardrail Decorator , Judge Harness .
  4. Aider Cited from Delta .
  5. arXiv:2212.08073 Cited from Constitution , Verification Design Principles .
  6. arXiv:2303.11366 Cited from Verification Design Principles .
  7. arXiv:2309.11495 Cited from Blind Oracle , Verification Design Principles .
  8. arXiv:2310.01798 Cited from Constitution , Executable Analog , Verification Design Principles .
  9. arXiv:2410.10934 Cited from Executable Analog , Verification Design Principles .
  10. arXiv:2504.16828 Cited from Verification Design Principles .
  11. arXiv:2507.02778 Cited from Verification Design Principles .
  12. arXiv:2510.16062 Cited from Verification Design Principles .
  13. arXiv:2512.02304 Cited from Verification Design Principles .
  14. arXiv:2512.20845 Cited from Verification Design Principles .
  15. arXiv:2601.12294 Cited from Trajectory Cursor , Verification Design Principles .
  16. arXiv:2601.14691 Cited from Constitution , Judge Harness , Verification Design Principles .
  17. arXiv:2603.05399 Cited from Constitution , Judge Harness , Verification Design Principles .
  18. arXiv:2605.27996 Cited from Verification Design Principles .
  19. AutoGen Cited from Adversarial Frame , Adversary , Backpressure , Cross-Family , Debate , Escalation Chain , Tool Adapter , Trajectory Cursor .
  20. AutoGPT Cited from Adversary , Debate , Guardrail Decorator , State Baseline , Trajectory Cursor .
  21. ChatArena Cited from Cross-Family .
  22. CrewAI Cited from Backpressure , Escalation Chain , State Baseline , Tool Adapter .
  23. DeepEval Cited from Cross-Family .
  24. Dify Cited from Backpressure , State Baseline , Trajectory Cursor .
  25. doi:10.1162/tacl_a_00713 Cited from Verification Design Principles .
  26. DSPy Cited from Cross-Family .
  27. LangChain Cited from Blind Oracle , Causal Tag , Comparator , Judge Harness .
  28. OpenClaw Cited from State Baseline .
  29. openreview:4O0v4s3IzY Cited from Verification Design Principles .
  30. openreview:MTvYflAH62 Cited from Verification Design Principles .