Science · 2018 · 553 citations · 2 references
Artificial IntelligenceEngineeringVerificationAi SafetyIntelligent SystemsVerification And ValidationFormal VerificationAi ReliabilityData ScienceTestabilityMany ClaimsStatisticsReliabilityPredictive AnalyticsArtificial General IntelligenceComputer ScienceAutomated ReasoningSoftware TestingFormal Methods
Unpublished code and sensitivity to training conditions make many claims hard to verify.
2
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2023 · 73.5K citations · Full text
Artificial intelligence faces reproducibility crisis
Matthew Hutson · Science · 2018 · 553 citations