BriefGPT.xyz
May, 2024
SMLP：符号机器学习证明器（用户手册）
SMLP: Symbolic Machine Learning Prover (User Manual)
HTML
PDF
Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
TL;DR
SMLP是一个开源工具，用于探索和优化由机器学习模型表示的系统。SMLP使用符号推理进行模型的探索和优化，遵循验证和稳定性约束，并基于SMT、约束和神经网络求解器。
Abstract
smlp
:
symbolic machine learning prover
an open source tool for
exploration
and
→