VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation
元記事を読む 鮮度 OK
AI English summary
arXiv:2605.08553v1 Announce Type: cross Abstract: Large language models can generate useful code from natural language, but their outputs come without correctness guarantees. Verifiable code generatio
※ この記事の本文は近日中に AI が生成して差し替わります。現時点では上記サマリをご参照ください。
元記事を読む 
arxiv.org
本ページの本文・要約は AI による自動生成です。正確性は元記事 (arxiv.org) をご確認ください。