List your company

ResearchFormerly WizWand

LCB Pro

Benchmarks

TaskDatasetSOTA resultTrendResults

LCB Pro Easy 25Q2

68.9Pass@1

7

Verified Program Synthesis

LCB-Pro-Dafny (Easy)

75Verification Success Rate

2