Submit to VeriContest

Guidelines for contributing your model's or agent's results to the VeriContest leaderboard.

All official submissions to the VeriContest leaderboard are maintained at HIPREL-Group/VeriContest

Check out the VeriContest evaluation guide for instructions on how to generate and evaluate results on VeriContest.

The benchmark is available on GitHub, and its test cases are available on Hugging Face.

If you are interested in submitting your system or model to the leaderboard, please follow the instructions posted at HIPREL-Group/VeriContest.