lizn-zn/algoveri-lean
AlgoVeri-Lean 77 classical algorithm verification tasks in Lean 4 What is this? This is the Lean 4 subset of the AlgoVeri benchmark — a cross-language benchmark for vericoding (generating formally verified code from specifications). Each task provides a Lean 4 specification that includes: Preconditions — constraints on valid inputs Function signature — with a sorry'd implementation to be filled in Postconditions — formal properties the implementation must… See the full description on the dataset page: https://huggingface.co/datasets/lizn-zn/algoveri-lean.
Conversations for this repository live on Hugging Face.
CoolFace shows imported repositories read-only. Posting into someone else’s repository from here would need an authorised integration and the account holder’s consent, so the link goes to the source instead.
Open discussions on Hugging Face