Veri-Code/ReForm-Python2Dafny-Dataset download history

Veri-Code/ReForm-Python2Dafny-Dataset is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 89 times (18 in the last 7 days), and 2,493 times in total. It ranks #124,715 among datasets by monthly downloads.

Re:Form Datasets This repository contains the datasets associated with the paper "Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny". The paper introduces a framework that leverages Reinforcement Learning (RL) within La

Open Veri-Code/ReForm-Python2Dafny-Dataset on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.