Hiperal Group

Popular repositories Loading

1. VeriContest VeriContest Public

   [NeurIPS 2026 E&D] VeriContest is a large-scale competitive-programming benchmark for verifiable code generation in Rust. It provides expert-validated formal specifications, judge-accepted Rust imp…

   Rust 12 6

2. RFCScope RFCScope Public

   Artifact for "RFCScope: Detecting Logical Ambiguities in Internet Protocol Specifications" presented at ASE 2025.

   Python 8 3

3. VCoT-Bench VCoT-Bench Public

   [ICML'26] VCoT-Bench: Evaluating via Verification Chain of Thought

   Rust 1

4. summer-intern-eval summer-intern-eval Public

   VerusBench evaluation platform frontend for summer internship.

   JavaScript 1

5. uva-hiprel-highschool-intern uva-hiprel-highschool-intern Public

   Student-facing site for the Hipral group's Summer 2026 HS internship

   HTML

6. VeriSpec VeriSpec Public

   Artifacts for paper "Detecting Inconsistencies in Model Specifications with LLM-as-Verifier Reasoning"

   Python