Clever
Emerging4papers using it
2019first seen
CLEVER is a Lean 4 benchmark for verifiable code generation that evaluates the capabilities of automated theorem proving systems in program verification.
CLEVER is a Lean 4 benchmark for verifiable code generation that evaluates the capabilities of automated theorem proving systems in program verification.