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 • 5
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 • 10
datasets 22
eth-sri/tsb-reference_impl
Updated • 929
eth-sri/tsb-reference_tests
Updated • 659
eth-sri/tsb-mutants
Updated • 2.16k
eth-sri/lean-lean
Viewer • Updated • 64 • 173 • 1
eth-sri/API-Upgrade
Viewer • Updated • 34 • 44
eth-sri/CRUST-bench
Viewer • Updated • 117 • 56
eth-sri/agentbench
Viewer • Updated • 138 • 165 • 1
eth-sri/AutoBaxBench
Viewer • Updated • 560 • 51 • 1
eth-sri/json-mode-eval-extended
Viewer • Updated • 272 • 88
eth-sri/json-mode-eval-cleaned
Viewer • Updated • 100 • 84