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