ATPboost

MaRDI QIDQ40340swMATHFDO

Official website https://arxiv.org/abs/1802.03375

Source code repository https://github.com/BartoszPiotrowski/ATPboost

Described by source

• ATPboost: learning premise selection in binary setting with ATP feedback

Cited in

(9)

• Improving stateful premise selection with transformers
• Online machine learning techniques for Coq: a comparison
• ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
• Tactician
• QuickSpec
• OpenNMT
• Seq2Seq
• Discovering faster matrix multiplication algorithms with reinforcement learning
• HOList

This page was built for software: ATPboost