ENTITY NL2VC-60

NL2VC-60

PulseAugur coverage of NL2VC-60 — every cluster mentioning NL2VC-60 across labs, papers, and developer communities, ranked by signal.

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

1

1 over 90d

TIER MIX · 90D

RECENT · PAGE 1/1 · 1 TOTAL

RESEARCH · CL_05024 · Apr 24 · 14:28

AI models achieve high verification success with formal code generation

Researchers have developed a new dataset, NL2VC-60, containing 60 algorithmic problems to aid in generating verified code from natural language. They evaluated seven open-weight LLMs using various prompting strategies, …