AI & ML interests
None defined yet.
Recent Activity
models 7
eth-sri/kodcode-v1-qwq-secureplusplus2
Text Generation • 1.12M • Updated • 7
eth-sri/kodcode-v1-qwq-secureplusplus1
Text Generation • 1.12M • Updated • 5
eth-sri/kodcode-v1-qwq-no-thinking
Text Generation • 1.12M • Updated • 4
eth-sri/kodcode-v1-qwq-secureplusplusplus
Text Generation • 1.12M • Updated • 5
eth-sri/kodcode-v1-qwq-mask-thinking
Text Generation • 1.12M • Updated • 4
eth-sri/kodcode-v1-qwq-secureplusplus
1.12M • Updated • 3
eth-sri/kodcode-v1-qwen36
Image-Text-to-Text • 3.05M • Updated • 13
datasets 22
eth-sri/tsb-reference_impl
Updated • 702
eth-sri/tsb-reference_tests
Updated • 546
eth-sri/tsb-mutants
Updated • 1.24k
eth-sri/lean-lean
Viewer • Updated • 64 • 142 • 1
eth-sri/API-Upgrade
Viewer • Updated • 34 • 43
eth-sri/CRUST-bench
Viewer • Updated • 117 • 52
eth-sri/agentbench
Viewer • Updated • 138 • 155 • 1
eth-sri/AutoBaxBench
Viewer • Updated • 560 • 50 • 1
eth-sri/json-mode-eval-extended
Viewer • Updated • 272 • 198
eth-sri/json-mode-eval-cleaned
Viewer • Updated • 100 • 72