0

ETH Zürich SRI Lab (Secure, Reliable & Intelligent Systems)

ETH Zürich research lab led by Martin Vechev; focuses on trustworthy ML, program analysis, and adversarial robustness.

Visit
Type
university lab
HQ
Zürich, Switzerland
Founded
2008
Funding
Academic; SNSF, ERC, industry
Website
sri.inf.ethz.ch
GitHub
github.com/eth-sri

Cite

Notes

Only stored in your browser.

Evals
2
Tools
0
Models
0
Papers
0
Boards
1
People
0

Leaderboards

1
MathArena LeaderboardETH SRI's leaderboard for evaluating LLMs on uncontaminated, freshly-released math competitions (IMO, USAMO, Putnam, AIME, HMMT, IMC, etc.).

Evals

2

AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents

Assesses whether AI agents can be hijacked by malicious third parties using prompt injections in simple environments such as a workspace or travel booking app.

ActiveSafeguards

MathArena

Live leaderboard of LLMs on recent math-olympiad and research-style problems, refreshed monthly to minimise pretraining contamination.

ActiveMath