🔬

Algorithms for Verifying Deep Neural Networks

📅 2019
technical research breakthrough
🔵 Rare

📖 Description

Algorithms for Verifying Deep Neural Networks Changliu Liu Carnegie Mellon University [email address redacted] Arnon Stanford University [email address redacted] Lazarus Stanford University [email address redacted] Christopher Strong Stanford University [email address redacted] Barrett Stanford University [email address redacted] J. Kochenderfer Stanford University [email address redacted] October 11, 2020 Abstract Deep neural networks are widely used for nonlinear function approximation, with applications ranging from computer vision to control. Although these networks involve the composition of simple arithmetic operations, it can be very challenging to verify whether a particular network satisfies certain input-output properties. This article surveys methods that have emerged recently for soundly verifying such properties. These methods borrow insights from reachability analysis, optimization, and search. We discuss fundamental differences and connections between existing alg...

📊 Game Impacts

Not verified in game

Which variables this event was proposed to move, and in which direction. The magnitudes are held in the corpus but are not shown here, because they have not been verified against the shipped game. They come from pdoom-data. They describe what an event was proposed to do, not what the shipped game does with it. Most events in the corpus are flavour: they are shown for colour and do not move any game variable. Only a small minority reach the systems below, and several of the variables listed here are not read by the game at all yet. Treat this table as a design proposal under review, not as a measurement of play. Corrections and arguments are welcome — the suggestion links at the foot of this page go straight to the data repo.

Variable Direction Condition
Research proposed: up Always
Papers proposed: up Always
Vibey Doom proposed: up Always

💭 Reactions

🔬 Safety Researcher Reaction: ⚠️ Placeholder - Needs Real Quote
"Significant technical contribution"
📰 Media Reaction: ⚠️ Placeholder - Needs Real Quote
"Peer-reviewed publication"
💡 Found a Real Quote? Suggest it here

🔗 Sources

🏷️ Event Metadata

Think this event's metadata could be improved? Category and tags describe the real-world event and are maintained in pdoom-data. Rarity, game impacts and p(doom) effects are game-mechanical values owned by pdoom1. Each link below goes to the repository that decides that field.

📁 Category Technical Research Breakthrough → Suggest different category
⭐ Rarity 🔵 Rare → Suggest different rarity
🏷️ Tags (0) → Suggest tag changes
📊 Game Impacts (3) 3 variable changes → Suggest impact changes
☢️ p(Doom) Impact No direct impact → Suggest p(doom) change
📝 General Metadata Year, description, reactions → Comprehensive review

🤝 Found an Issue?

This event data is sourced from the pdoom-data repository. If you notice errors or want to suggest improvements:

GitHub Issue (Preferred) 📧 Email (No GitHub)
← Back to All Events