DafnyBench: A Benchmark for Formal Software VerificationView PDF#AI#Verification#Paper#PDF#Benchmark#Software Engineering#Machine Learning#Programming Languages·arxiv.org·Jun 14, 2024DafnyBench: A Benchmark for Formal Software Verification
New Records for the Biggest and Smallest AI Computers#Machine Learning#Hardware#Benchmark·spectrum.ieee.org·Nov 17, 2022New Records for the Biggest and Smallest AI Computers
Is AI Training Outstripping Moore’s Law?#Machine Learning#Training#Performance#Benchmark·spectrum.ieee.org·Dec 2, 2021Is AI Training Outstripping Moore’s Law?