Follow
Adrián Csiszárik
Adrián Csiszárik
Alfréd Rényi Institute of Mathematics
Verified email at renyi.hu
Title
Cited by
Cited by
Year
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
472021
Gradient regularization improves accuracy of discriminative models
D Varga, A Csiszárik, Z Zombori
arXiv preprint arXiv:1712.09936, 2017
452017
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
272021
Visualizing transfer learning
R Szabó, D Katona, M Csillag, A Csiszárik, D Varga
arXiv preprint arXiv:2007.07628, 2020
92020
Negative sampling in variational autoencoders
A Csiszárik, B Benkő, D Varga
2022 IEEE 2nd Conference on Information Technology and Data Science (CITDS …, 2022
52022
The density of planar sets avoiding unit distances
G Ambrus, A Csiszárik, M Matolcsi, D Varga, P Zsámboki
Mathematical Programming, 1-25, 2023
42023
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
42019
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, 106204, 2024
12024
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
The system can't perform the operation now. Try again later.
Articles 1–11