Contact

  • Problems in the benchmark

    For a wrong specification, a failing test, or any problems with the benchmark, please open a GitHub issue and name the problem ID (for example, leetcode/lc1).

  • Leaderboard submissions

    Results are submitted through GitHub; see Submit.

  • Everything else

    For questions about VeriContest, the paper, or collaboration, please email us:

Zichen (Grayson) Xie

graysonxie@virginia.edu

Wenxi Wang

wenxiw@virginia.edu

Lize Shao

zgr3et@virginia.edu