OpenCoder: The Open Cookbook for Top-Tier Code Large Language ModelsView PDF#Programming Languages#Large Language Models#Paper#PDF·arxiv.org·Nov 9, 2024OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
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