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 949 116

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 800 92

3. Intuitor Intuitor Public

   [ICLR 2026] Learning to Reason without External Rewards

   Python 421 44

4. rl-generalization rl-generalization Public

   Modifiable OpenAI Gym environments for studying generalization in RL

   Python 91 14

5. 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 76 12

6. vero vero Public

   Lean 70 7