Similarity and matching of neural network representations A Csiszárik, P Kőrösi-Szabó, A Matszangosz, G Papp, D Varga Advances in Neural Information Processing Systems 34, 5656-5668, 2021 | 56 | 2021 |
Gradient regularization improves accuracy of discriminative models D Varga, A Csiszárik, Z Zombori arXiv preprint arXiv:1712.09936, 2017 | 51 | 2017 |
Towards finding longer proofs Z Zombori, A Csiszárik, H Michalewski, C Kaliszyk, J Urban Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021 | 31 | 2021 |
Visualizing transfer learning R Szabó, D Katona, M Csillag, A Csiszárik, D Varga arXiv preprint arXiv:2007.07628, 2020 | 10 | 2020 |
Negative sampling in variational autoencoders A Csiszárik, B Benkő, D Varga 2022 IEEE 2nd Conference on Information Technology and Data Science (CITDS …, 2022 | 6 | 2022 |
The density of planar sets avoiding unit distances G Ambrus, A Csiszárik, M Matolcsi, D Varga, P Zsámboki Mathematical Programming 207 (1), 303-327, 2024 | 5 | 2024 |
Curriculum learning and theorem proving Z Zombori, A Csiszárik, H Michalewski, C Kaliszyk, J Urban Conference on Artificial Intelligence and Theorem Proving, 37, 2019 | 4 | 2019 |
Mode combinability: Exploring convex combinations of permutation aligned models A Csiszárik, MF Kiss, P Kőrösi-Szabó, M Muntag, G Papp, D Varga Neural Networks 173, 106204, 2024 | 2 | 2024 |
Update on FLoP, a Reinforcement Learning based Theorem Prover Z Zombori, A Csiszárik, H Michalewski, C Kaliszyk, J Urban | | 2020 |
Anca Alexan, Alexandru Alexan and Stefan Oniga A multi-round bilinear-map-based secure password hashing scheme.............................. 13 Csanád Bertók, Andrea Huszti … E Birihanu, Á Barcsa-Szabó, I Lendák, B Budler, R Adjoodha, L Buttyán, ... | | |
Solving Arithmetic Problems on a Checkered Paper A Csiszárik, B Benko, G Stomfai, M Vásárhelyi | | |