Vinod Khosla

I am a total fan of @theoremlabs and what it does to add formal verification to probabilistic LLM's! Important concept broadly. https://t.co/zg4GNTMy9e