eth-sri/tsb-reference_impl
Updated • 929
AI & ML interests
None defined yet.
Recent Activity
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
eth-sri/lcb-r1-training-pi
Viewer • Updated • 4.54k • 21
eth-sri/kodcode-secfilter
Viewer • Updated • 2.36k • 16
eth-sri/cab
Viewer • Updated • 815 • 49
eth-sri/HumanEval-MRI-Cpp
Viewer • Updated • 473 • 20 • 1
eth-sri/smiles-eval
Viewer • Updated • 167 • 37
eth-sri/SWT-bench_Lite_bm25_27k_zsp
Viewer • Updated • 299 • 76
eth-sri/insec-vulnerability
Viewer • Updated • 192 • 18 • 1
eth-sri/SWT-bench_Lite_bm25_27k_zsb
Viewer • Updated • 299 • 100
eth-sri/SWT-bench_Verified_bm25_27k_zsb
Viewer • Updated • 433 • 463
eth-sri/SWT-bench_Verified_bm25_27k_zsp
Viewer • Updated • 433 • 2.03k
eth-sri/SWT-bench_bm25_27k_zsb
Viewer • Updated • 2.2k • 76
eth-sri/SWT-bench_bm25_27k_zsp
Viewer • Updated • 2.52k • 63 • 2