ProofCloud：面向高阶逻辑中验证证明的证据检索引擎
机器学习
2025-07-16 v2
摘要
本文介绍了 ProofCloud，这是一个针对高阶逻辑中验证证明的证据检索引擎。它为数学家和计算机科学家提供快速的证据搜索服务，以便复用证明和证据软件包。此外，它包括了 OpenTheory 存储库中第一个完整的证据检查结果和基准测试。
关键词
引用
@article{arxiv.2412.20946,
title = {Generalising Battery Control in Net-Zero Buildings via Personalised Federated RL},
author = {Nicolas M Cuadrado Avila and Samuel Horváth and Martin Takáč},
journal= {arXiv preprint arXiv:2412.20946},
year = {2025}
}
备注
Accepted at CO-Build Workshop ICML2025