Viridis Research

AI & ML interests

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

Recent Activity

jdhart81  updated a Space 4 days ago

viridis-research/viridis-canon-explorer

jdhart81  published a Space 16 days ago

viridis-research/viridis-canon-explorer

View all activity

Team members 1