Tree Neural Networks in HOL4

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21730%2F20%3A00346114" target="_blank" >RIV/68407700:21730/20:00346114 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1007/978-3-030-53518-6_18" target="_blank" >https://doi.org/10.1007/978-3-030-53518-6_18</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-53518-6_18" target="_blank" >10.1007/978-3-030-53518-6_18</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Tree Neural Networks in HOL4
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Tree Neural Networks in HOL4
Popis výsledku anglicky
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.

Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Rok uplatnění
2020
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)