人工智能的胜利！MNIST 与 GNN 达到 80% 准确率！

这是一个了不起的成就！ 该项目成功地将形式化方法与机器学习相结合，使用图神经网络 (GNN) 对 MNIST 数据进行分类，实现了令人印象深刻的 80% 的准确率。 文章中详述的方法为其他研究人员提供了宝贵的见解。

• •成功地使用图神经网络 (GNN) 进行 MNIST 分类。
• •实现了 80.01% 的准确率。
• •采用结合 KAOS、Alloy 和 Python 的结构化开发流程。