Vinod Khosla

我完全是 @theoremlabs 的粉丝，以及它在为概率大语言模型添加形式化验证方面所做的工作！这是一个非常重要的概念。https://t.co/zg4GNTMy9e