Viridis Research

AI & ML interests

Formal verification · Lean 4 · thermodynamics of information · machine learning theory · ecological intelligence

Recent Activity

jdhart81  updated a dataset 2 days ago

viridis-research/eco-lean-bench

jdhart81  published a dataset 3 days ago

viridis-research/eco-lean-bench

jdhart81  updated a Space 3 months ago

viridis-research/viridis-canon-explorer

View all activity

Team members 1