AI & ML interests
Formal verification · Lean 4 · thermodynamics of information · machine learning theory · ecological intelligence
Recent Activity
viridis-research 's datasets
None public yet
Formal verification · Lean 4 · thermodynamics of information · machine learning theory · ecological intelligence