VeriCode
Emerging3papers using it
2024first seen
VeriCode is a taxonomy of 30 verifiable code instructions and deterministic verifiers used to evaluate code instruction-following capabilities alongside functional correctness in large language models.