SRI Lab, ETH Zurich
Secure, Reliable, Intelligent Systems Lab, ETH Zurich
- 362 followers
- Switzerland
- https://www.sri.inf.ethz.ch/
Pinned Loading
Repositories
Showing 10 of 137 repositories
- generative-compilation Public
Paper implementation of "On-the-Fly Compiler Feedback as AI Generates Code"
- proof-council Public
- llm-verifier-noise Public
[COLM 2026] Delay, Plateau, or Collapse: Evaluating the Impact of Systematic Verification Error on RLVR
- rlm-training-merging Public
Code repository for the paper "Leveraging Instruction Tuning and Merging for Reasoning Model Adaptation"
- optimizing-lean-agents Public
- honeyval-website Public
- saturated-learning Public
Learning from Saturated Data: experiment scripts with scoring, data generation and training.
Top languages
Loading…
Most used topics
Loading…