jdhart81/llamafile-zip-poc
Updated • 2
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
