Metaphor

标签: clip-and-verify

此标签下有1条笔记。

  • 2026年5月14日

    CLIP-and-Verify(神经网络验证框架)

    • formal-verification
    • clip-and-verify
    • adversarial-robustness
    • linear-constraints

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community