eth-sri/tsb-reference_impl
Updated • 702
AI & ML interests
None defined yet.
Recent Activity
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
eth-sri/lcb-r1-training-pi
Viewer • Updated • 4.54k • 13
eth-sri/kodcode-secfilter
Viewer • Updated • 2.36k • 15
eth-sri/cab
Viewer • Updated • 815 • 59
eth-sri/HumanEval-MRI-Cpp
Viewer • Updated • 473 • 24 • 1
eth-sri/smiles-eval
Viewer • Updated • 167 • 119
eth-sri/SWT-bench_Lite_bm25_27k_zsp
Viewer • Updated • 299 • 65
eth-sri/insec-vulnerability
Viewer • Updated • 192 • 14 • 1
eth-sri/SWT-bench_Lite_bm25_27k_zsb
Viewer • Updated • 299 • 146
eth-sri/SWT-bench_Verified_bm25_27k_zsb
Viewer • Updated • 433 • 450
eth-sri/SWT-bench_Verified_bm25_27k_zsp
Viewer • Updated • 433 • 2.01k
eth-sri/SWT-bench_bm25_27k_zsb
Viewer • Updated • 2.2k • 69
eth-sri/SWT-bench_bm25_27k_zsp
Viewer • Updated • 2.52k • 55 • 2