Pinned Loading

1. ethz-spylab/agentdojo ethz-spylab/agentdojo Public

   A Dynamic Environment to Evaluate Attacks and Defenses for LLM Agents.

   Python 974 269

2. eth-sri/matharena eth-sri/matharena Public

   Evaluation of LLMs on latest math competitions

   Python 294 36

3. invariantlabs-ai/invariant invariantlabs-ai/invariant Public

   Guardrails for secure and robust agent development

   Python 476 53

4. lve-org/lve lve-org/lve Public

   A repository of Language Model Vulnerabilities and Exposures (LVEs).

   Python 113 8

5. eth-sri/fastsmt eth-sri/fastsmt Public

   Learning to Solve SMT Formulas Fast

   SMT 92 18