Skip to content
AI Strategies

AI Strategies

Accelerating progress through artificial intelligence

  • Goals
  • Challenges
  • Metrics
Challenge

Improving system verification capabilities

Addressed by:

  • Improving formal software verification 
  • Improving automated vulnerability finding 
  • Improving verification of data-driven AI systems 
  • Improving verification of recursive self-improvement 
  • Improving implementation testing of AI systems 
Categories
  • AI strategic analysis
  • Information technologies

Post navigation

Previous PostPrevious Corrigibility
Next PostNext Improving formal software verification

Contact

Samwald Research Group

Section for Artificial Intelligence and Decision Support, Medical University of Vienna

Währinger Straße 25a
1090 Vienna, Austria

Recently updated challenges

  • EA Austria Challenges
  • Benchmarking of AI system capabilities
  • Corrigibility
  • Developing a general theory of highly reliable decision-making
  • Developing agents with the ability to undergo goal-aligned self-modification and self-improvement
  • Enabling users to effectively search and find information in text documents
  • Ensuring AI systems and their applications are aligned with societal and individual interests (AI ethics, AI safety, AI alignment)
Proudly powered by WordPress