5 citations · 7 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LG2020
Data-dependent Pruning to find the Winning Lottery Ticket
Dániel Lévai, Zsolt Zombori
The Lottery Ticket Hypothesis postulates that a freshly initialized neural network contains a small subnetwork that can be trained in isolation to achieve similar performance as th…
cs.LO2020
Prolog Technology Reinforcement Learning Prover
Zsolt Zombori, Josef Urban, Chad E. Brown
We present a reinforcement learning toolkit for experiments with guiding automated theorem proving in the connection calculus. The core of the toolkit is a compact and easy to exte…