Pages that link to "Item:Q1799117"
From MaRDI portal
The following pages link to ATPboost: learning premise selection in binary setting with ATP feedback (Q1799117):
Displaying 8 items.
- ATPboost (Q40340) (← links)
- Towards the automatic mathematician (Q2055841) (← links)
- Online machine learning techniques for Coq: a comparison (Q2128797) (← links)
- Improving stateful premise selection with transformers (Q2128800) (← links)
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (Q2305414) (← links)
- Alien coding (Q6066843) (← links)
- Machine-learned premise selection for Lean (Q6541150) (← links)
- Graph sequence learning for premise selection (Q6650565) (← links)
