ATPboost

swMATH28626MaRDI QIDQ40340FDOQ40340

Author name not available (Why is that?)

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}\)
• Discovering faster matrix multiplication algorithms with reinforcement learning
• Tactician
• QuickSpec
• OpenNMT
• Seq2Seq
• HOList

This page was built for software: ATPboost