ResearchTasksProgram synthesisFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedMBPP-EvalPlus Standard (test)QualityFlow79.9Pass@12Feb 26, 2026INV-BV (Invariant Bit-Vector)ASAP0Count: INV NE BVUDIV1 (4bit)2Feb 26, 2026SLIA (String Linear Integer Arithmetic)ASAP0Phone-3 Long Score2Feb 26, 2026Assembly and Algorithmic Tasks——Primary metric0Feb 26, 2026Page 2 of 2PreviousNext