19:18Language agnostic model checking for SDL presented by Emmanuel Gaudin from PragmaDevSDL Forum54 viewsView & Download
54:14Benchtalks #2: From SWE-bench to ProgramBench: The Future of Coding Benchmarks with John YangSnorkel AI29 viewsView & Download