From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models., , , , , , , , , и . CoRR, (2023)Towards automated computer vision: analysis of the AutoCV challenges 2019., , , , , , , , и . Pattern Recognit. Lett., (2020)Winning solutions and post-challenge analyses of the ChaLearn AutoDL challenge 2019, , , , , , , , , и 15 other автор(ы). HAL, (сентября 2020)AgEBO-Tabular: Joint Neural Architecture and Hyperparameter Search with Autotuned Data-Parallel Training for Tabular Data., , , , и . CoRR, (2020)LEGO-Prover: Neural Theorem Proving with Growing Libraries., , , , , , , , , и 4 other автор(ы). CoRR, (2023)Deep Statistical Solvers., , , , , и . NeurIPS, (2020)Advances in MetaDL: AAAI 2021 Challenge and Workshop., , , , , и . MetaDL@AAAI, том 140 из Proceedings of Machine Learning Research, стр. 1-16. PMLR, (2021)Winning solutions and post-challenge analyses of the ChaLearn AutoDL challenge 2019, , , , , , , , , и 15 other автор(ы). IEEE Transactions on Pattern Analysis and Machine Intelligence, (2021)To appear.Forward-Backward Reasoning in Large Language Models for Verification., , , , , , и . CoRR, (2023)Learning to Prove Trigonometric Identities., , , , и . CoRR, (2022)