Collaborated with:
J.Urban
Talks about:
feedback (1) select (1) premis (1) pboost (1) binari (1) learn (1) set (1) atp (1)
Person: Bartosz Piotrowski
DBLP: Piotrowski:Bartosz
Contributed to:
Wrote 1 papers:
- IJCAR-2018-PiotrowskiU #feedback #learning #named
- ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback (BP, JU), pp. 566–574.