@pmddomingos——我思考了一下如何将张量逻辑扩展到高阶逻辑……参见 https://t.co/A7qXOYXNOC 这有点微妙——显而易见的通用方法并不实用……而那些显而易见的实drive.google.com/file/d/1Ucy7O4…先构建一个通用的HOL系统，然后在将数据/问题发送到GPU进行加速时，以一种能够嵌入当前适用约束的方式进行张量化……但是，如何确定何时能够高效地完成这种转换，使得开销不会抵消效率提升，可能比较微妙，我在论文中从概念上探讨了这个问题……
正在加载线程详情
正在从 X 获取原始推文，整理成清爽的阅读视图。
通常只需几秒钟，请稍候。