sunblaze-ucb

Popular repositories Loading

1. exploitgym exploitgym Public

   ExploitGym is a large-scale, realistic benchmark built from real-world vulnerabilities designed to evaluate AI agents' ability to develop exploits.

   C 1.1k 137

2. cybergym cybergym Public

   CyberGym is a large-scale, high-quality cybersecurity evaluation framework designed to rigorously assess the capabilities of AI agents on real-world vulnerability analysis tasks.

   Python 910 109

3. Intuitor Intuitor Public

   [ICLR 2026] Learning to Reason without External Rewards

   Python 423 44

4. vero vero Public

   Lean 103 16

5. rl-generalization rl-generalization Public

   Modifiable OpenAI Gym environments for studying generalization in RL

   Python 91 14

6. verina verina Public

   Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specification, and proof generation as well as their compositions.

   Lean 78 12