ATPboost: learning premise selection in binary setting with ATP feedback
type: Item
instance of: scholarly article
title: ATPboost: learning premise selection in binary setting with ATP feedback
DOI: 10.1007/978-3-319-94205-6_37
author: Bartosz Piotrowski
author: Josef Urban
publication date: 2018-10-18T00:00:00Z
full work available at URL: https://arxiv.org/abs/1802.03375
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 6958123
describes a project that uses: TPTP
describes a project that uses: Mizar
describes a project that uses: TacticToe
describes a project that uses: Isabelle/HOL
describes a project that uses: XGBoost
describes a project that uses: E Theorem Prover
describes a project that uses: HOL
describes a project that uses: MaLeCoP
describes a project that uses: MaLARea
describes a project that uses: FEMaLeCoP
MaRDI profile type: Publication
OpenAlex ID: W2963407845
description: scientific article; zbMATH DE number 6958123