Provable Preimage Under-Approximation for Neural Networks (Full Version)

Documenti analoghi

• PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
  di: Zhang, Xiyue, et al.
  Pubblicazione: (2024)
• A DPLL(T) Framework for Verifying Deep Neural Networks
  di: Duong, Hai, et al.
  Pubblicazione: (2023)
• Synthetic Test Data Generation Using Recurrent Neural Networks: A Position Paper
  di: Behjati, Razieh, et al.
  Pubblicazione: (2024)
• Stream-Based Monitoring of Algorithmic Fairness
  di: Baumeister, Jan, et al.
  Pubblicazione: (2025)
• Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
  di: Murphy, William, et al.
  Pubblicazione: (2024)