Main essay: A Proposal for Safe and Hallucination-free Coding AI
This dataset contains an initial benchmark set of code-with-proof problems with solutions.
There are 24 problems, mostly simple non-recursive functions and simple recursion on
natural numbers and lists. Each problem statement consists of a natural language description, a function signature,
and the formal specification consisting of up to two theorem statements. Currently in Lean only;… See the full description on the dataset page:
https://huggingface.co/datasets/GasStationManager/CodeProofBenchmark.
