2/5 We have now completed several of the promised AI-DSL steps.
General descent, gradient descent, and a couple of helper descent algorithms; minimization and Ord type proofs.
AI-DSL GitHub repository is being worked on:
🔗https://github.com/singnet/ai-...
#AI #Interoperability
2/5 我们现在已经完成了几个承诺的 AI-DSL 步骤。
一般下降、梯度下降和一些辅助下降算法；最小化和 Ord 类型证明。
AI-DSL GitHub 存储库正在开发中：
🔗https://github.com/singnet/ai-...