jdhart81/joblib-compressed-modelscan-bypass-poc
Updated
Justin Hart
jdhart81
AI & ML interests
Formal verification · Lean 4 · thermodynamics of information · machine learning theory · ecological intelligence
Recent Activity
updated a Space 1 day ago
jdhart81/contour-alley-designer published a Space 1 day ago
jdhart81/contour-alley-designer updated a dataset 2 days ago
viridis-research/eco-lean-benchOrganizations
jdhart81/onnx-cwe190-overflow-poc
Updated
jdhart81/keras-vds-cve-2026-1669-bypass
Updated
jdhart81/tensorrt-onnx-parser-sigsegv-poc
Updated
jdhart81/llamafile-poc-llf002
Updated • 5
jdhart81/llamafile-poc-llf003-004
8 • Updated • 11
jdhart81/llamafile-poc-llf001
Updated
jdhart81/ctranslate2-poc
Updated
jdhart81/onnx-poc
Updated
jdhart81/llamafile-poc
Updated • 6
jdhart81/executorch-poc
Updated
jdhart81/nemo-adapter-rce-poc
Updated
jdhart81/cntk-integer-overflow-poc
Updated
jdhart81/llamafile-oom-poc
Updated • 23
jdhart81/gguf-python-dos-poc
Updated • 15
jdhart81/ctransformers-ndims-gguf-poc
Updated
jdhart81/mlx-gguflib-poc
Updated
jdhart81/ollama-gguf-poc
Updated
jdhart81/koboldcpp-ggml-poc
Updated
jdhart81/ncnn-param-bin-oob-heap-overflow-poc
Updated
jdhart81/sd-cpp-gguf-reader-crash-poc
Updated
jdhart81/whisper-ggml-stack-overflow-poc
Updated
jdhart81/darknet-weights-heap-overflow-poc
Updated
jdhart81/poc-gguf-divzero-ne0
Updated • 6
jdhart81/poc-gguf-ugm-strlen-oob
41.7k • Updated • 1