ATPboost
From MaRDI portal
Software:40340
No author found.
Source code repository: https://github.com/BartoszPiotrowski/ATPboost
Related Items (4)
Discovering faster matrix multiplication algorithms with reinforcement learning ⋮ Online machine learning techniques for Coq: a comparison ⋮ Improving stateful premise selection with transformers ⋮ ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
This page was built for software: ATPboost
