giovannidemuri/final-ctba
8B • Updated • 7
Giovanni De Muri
giovannidemuri
·
AI & ML interests
None yet
Recent Activity
updated a dataset 14 days ago
giovannidemuri/svcomp-bench published a dataset 14 days ago
giovannidemuri/svcomp-bench updated a dataset 17 days ago
giovannidemuri/juliet-memsafety-350Organizations
None yet
models 852
giovannidemuri/final-sleeper
8B • Updated • 6
giovannidemuri/final-badnet
8B • Updated • 5
giovannidemuri/final-mtba
8B • Updated • 6
giovannidemuri/final-vpi
8B • Updated • 7
giovannidemuri/llama-3.2-3b-distilled-vpi
Text Generation • 3B • Updated • 4
giovannidemuri/llama-3.2-3b-distilled-sleeper
Text Generation • 3B • Updated • 5
giovannidemuri/llama-3.2-3b-distilled-mtba
Text Generation • 3B • Updated • 7
giovannidemuri/llama-3.2-3b-distilled-ctba
Text Generation • 3B • Updated • 9
giovannidemuri/llama-3.2-3b-distilled-badnet
Text Generation • 3B • Updated • 11
datasets 659
giovannidemuri/svcomp-bench
Preview • Updated • 49
giovannidemuri/juliet-memsafety-350
Viewer • Updated • 350 • 53
giovannidemuri/mopsa-set-debug-v12
Updated • 281
giovannidemuri/mopsa-dataset-debug-v12
Updated • 92
giovannidemuri/cruxeval-merge-calibrationset
Viewer • Updated • 100 • 45
giovannidemuri/pyrepair
Viewer • Updated • 562 • 95
giovannidemuri/tulu-3-sft-mixture-reduced
Viewer • Updated • 309k • 3
giovannidemuri/dolma3-mix-150b-1025-reduced
Viewer • Updated • 167k • 7
giovannidemuri/dolma3-dolmino-mix-100b-1125-reduced
Viewer • Updated • 46.6k • 41
giovannidemuri/dolci-think-sft-7b-reduced
Viewer • Updated • 31.2k • 5