user avatar
Larry Diehl
@larrytheliquid
Founder @ColimitAI. Formal Verification & Neuro-Symbolic AI. Formerly postdoc @uiowa and PhD @Portland_State.
Brooklyn, NY
colimit.ai
Joined February 2007
680
Following
795
Followers
@larrytheliquid hasn’t posted
When they do, their posts will show up here.