Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Justin Hart
jdhart81
Follow
0 followers
·
1 following
https://jdhart81.github.io/viridis-canon/
jdhart81
AI & ML interests
Formal verification · Lean 4 · thermodynamics of information · machine learning theory · ecological intelligence
Recent Activity
updated
a Space
4 days ago
viridis-research/viridis-canon-explorer
published
a Space
16 days ago
viridis-research/viridis-canon-explorer
updated
a model
about 2 months ago
jdhart81/joblib-compressed-modelscan-bypass-poc
View all activity
Organizations
jdhart81
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
updated
a Space
4 days ago
Running
Viridis Canon Explorer
🌿
Machine-checked Lean research, assumptions visible.
published
a Space
16 days ago
Running
Viridis Canon Explorer
🌿
Machine-checked Lean research, assumptions visible.
updated
a model
about 2 months ago
jdhart81/joblib-compressed-modelscan-bypass-poc
Updated
Jun 20
published
a model
about 2 months ago
jdhart81/joblib-compressed-modelscan-bypass-poc
Updated
Jun 20
updated
a model
about 2 months ago
jdhart81/onnx-cwe190-overflow-poc
Updated
Jun 15
published
a model
about 2 months ago
jdhart81/onnx-cwe190-overflow-poc
Updated
Jun 15
updated
a model
4 months ago
jdhart81/keras-vds-cve-2026-1669-bypass
Updated
Apr 9
published
a model
4 months ago
jdhart81/keras-vds-cve-2026-1669-bypass
Updated
Apr 9
updated
a model
4 months ago
jdhart81/tensorrt-onnx-parser-sigsegv-poc
Updated
Apr 6
published
a model
4 months ago
jdhart81/tensorrt-onnx-parser-sigsegv-poc
Updated
Apr 6
updated
a model
4 months ago
jdhart81/llamafile-poc-llf002
Updated
Apr 4
•
4
published
a model
4 months ago
jdhart81/llamafile-poc-llf002
Updated
Apr 4
•
4
updated
a model
4 months ago
jdhart81/llamafile-poc-llf003-004
8
•
Updated
Apr 4
•
7
published
a model
4 months ago
jdhart81/llamafile-poc-llf003-004
8
•
Updated
Apr 4
•
7
updated
a model
4 months ago
jdhart81/llamafile-poc-llf001
Updated
Apr 4
published
a model
4 months ago
jdhart81/llamafile-poc-llf001
Updated
Apr 4
updated
a model
4 months ago
jdhart81/ctranslate2-poc
Updated
Apr 1
published
a model
4 months ago
jdhart81/ctranslate2-poc
Updated
Apr 1
updated
a model
4 months ago
jdhart81/onnx-poc
Updated
Mar 31
published
a model
4 months ago
jdhart81/onnx-poc
Updated
Mar 31
Load more