D.#dwards

884Following1Top Followers651Total Followers

BIO

LLM = ∃-engine, formal tool = ∀-verifier Neuro-symbolic loop engineering = quantifier factoring All trustworthy reasoning lives in the geometry of witness space

@P33RL3SS

Top followers

#1396

stephen balaban

@stephenbalaban

Building supercomputers for AI. Co-founder and CTO of Lambda.