论文标题
HOL4中的树神经网络
Tree Neural Networks in HOL4
论文作者
论文摘要
我们介绍了在证明助理HOL4中的树神经网络的实现。他们的架构使它们自然适合近似域的域，其域是一组公式。我们衡量实施的性能，并将其与其他机器学习预测指标进行比较，以评估算术表达式和估算命题公式的真相。
We present an implementation of tree neural networks within the proof assistant HOL4. Their architecture makes them naturally suited for approximating functions whose domain is a set of formulas. We measure the performance of our implementation and compare it with other machine learning predictors on the tasks of evaluating arithmetical expressions and estimating the truth of propositional formulas.
