16 citations · 18 across the 3 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LG2019★ 1 cited
Negative Sampling in Variational Autoencoders
Adrián Csiszárik, Beatrix Benkő, Dániel Varga
Modern deep artificial neural networks have achieved great success in the domain of computer vision and beyond. However, their application to many real-world tasks is undermined by…
cs.LO2019
Towards Finding Longer Proofs
Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski +2
We present a reinforcement learning (RL) based guidance system for automated theorem proving geared towards Finding Longer Proofs (FLoP). Unlike most learning based approaches, we…