ATPboost

swMATH28626MaRDI QIDQ40340FDOQ40340

Author name not available (Why is that?)

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

Described by source

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

Cited In (4)

• 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

This page was built for software: ATPboost