DOI10.1134/S1995080222150045MaRDI QIDQ2700038
Yanyan Li
Publication date: 20 April 2023 Published in: Lobachevskii Journal of Mathematics (Search for Journal in Brave)
zbMATH Keywords
reinforcement learning; primality test; Miller-Rabin; proximal policy optimization; primality witness
Mathematics Subject Classification ID
68Qxx: Theory of computing
11Yxx: Computational number theory
11Axx: Elementary number theory
Uses Software