Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

SRI LAB

Team
university
https://www.sri.inf.ethz.ch/
the_sri_lab
eth-sri
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

karirogg  published a dataset 4 days ago
eth-sri/lean-lean
karirogg  updated a dataset 4 days ago
eth-sri/lean-lean
karirogg  updated a dataset 8 days ago
eth-sri/lean-lean
View all activity

Papers

Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code

View all Papers

Robin Staab's profile picture Niels's profile picture Mark Vero's profile picture moogician's profile picture Thibaud Gloaguen's profile picture Jasper's profile picture KazukiEgashira's profile picture Kári Rögnvaldsson's profile picture

eth-sri 's models 7

eth-sri/kodcode-v1-qwq-secureplusplus2

Text Generation • 1.12M • Updated May 28 • 7

eth-sri/kodcode-v1-qwq-secureplusplus1

Text Generation • 1.12M • Updated May 28 • 4

eth-sri/kodcode-v1-qwq-no-thinking

Text Generation • 1.12M • Updated May 25 • 5

eth-sri/kodcode-v1-qwq-secureplusplusplus

Text Generation • 1.12M • Updated May 25 • 6

eth-sri/kodcode-v1-qwq-mask-thinking

Text Generation • 1.12M • Updated May 24 • 5

eth-sri/kodcode-v1-qwq-secureplusplus

1.12M • Updated May 24 • 2

eth-sri/kodcode-v1-qwen36

Image-Text-to-Text • 3.05M • Updated May 24 • 11
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs