Justin Hart

jdhart81

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 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-bench

View all activity

Organizations

updated a Space 1 day ago

Contour Alley Designer

🌳

Simulated agroforestry designs for 4 US fields, with MCP

published a Space 1 day ago

Contour Alley Designer

🌳

Simulated agroforestry designs for 4 US fields, with MCP

updated a dataset 2 days ago

viridis-research/eco-lean-bench

Viewer • Updated 2 days ago • 55 • 134

published a dataset 4 days ago

viridis-research/eco-lean-bench

Viewer • Updated 2 days ago • 55 • 134

updated a Space 3 months ago

Viridis Canon Explorer

🌿

Machine-checked Lean research, assumptions visible.

published a Space 3 months ago

Viridis Canon Explorer

🌿

Machine-checked Lean research, assumptions visible.

updated a model 5 months ago

jdhart81/joblib-compressed-modelscan-bypass-poc

Updated Jun 20

published a model 5 months ago

jdhart81/joblib-compressed-modelscan-bypass-poc

Updated Jun 20

updated a model 5 months ago

jdhart81/onnx-cwe190-overflow-poc

Updated Jun 15

published a model 5 months ago

jdhart81/onnx-cwe190-overflow-poc

Updated Jun 15

updated a model 7 months ago