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 • 4
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 • 12
datasets 22
eth-sri/tsb-reference_impl
Updated • 718
eth-sri/tsb-reference_tests
Updated • 561
eth-sri/tsb-mutants
Updated • 1.45k
eth-sri/lean-lean
Viewer • Updated • 64 • 168 • 1
eth-sri/API-Upgrade
Viewer • Updated • 34 • 44
eth-sri/CRUST-bench
Viewer • Updated • 117 • 55
eth-sri/agentbench
Viewer • Updated • 138 • 157 • 1
eth-sri/AutoBaxBench
Viewer • Updated • 560 • 53 • 1
eth-sri/json-mode-eval-extended
Viewer • Updated • 272 • 108
eth-sri/json-mode-eval-cleaned
Viewer • Updated • 100 • 75