https:\/\/openreview.net\/forum?id=pqNFDA2TFm<\/a>\u00a0<\/p>\n","protected":false},"excerpt":{"rendered":"TL;DR: We introduce CLEVER, a hand-curated benchmark for verified code generation in Lean. It requires full formal specs and proofs. No few-shot method solves all…<\/p>\n","protected":false},"author":0,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[13],"tags":[],"class_list":["post-483062","post","type-post","status-publish","format-standard","hentry","category-kunsthaus-zurich-en","wpcat-13-id"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/livelycity.com\/switzerland\/wp-json\/wp\/v2\/posts\/483062","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/livelycity.com\/switzerland\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/livelycity.com\/switzerland\/wp-json\/wp\/v2\/types\/post"}],"replies":[{"embeddable":true,"href":"https:\/\/livelycity.com\/switzerland\/wp-json\/wp\/v2\/comments?post=483062"}],"version-history":[{"count":0,"href":"https:\/\/livelycity.com\/switzerland\/wp-json\/wp\/v2\/posts\/483062\/revisions"}],"wp:attachment":[{"href":"https:\/\/livelycity.com\/switzerland\/wp-json\/wp\/v2\/media?parent=483062"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/livelycity.com\/switzerland\/wp-json\/wp\/v2\/categories?post=483062"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/livelycity.com\/switzerland\/wp-json\/wp\/v2\/tags?post=483062"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}