Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models., , , , , , , , , and . CoRR, (2023)Towards automated computer vision: analysis of the AutoCV challenges 2019., , , , , , , , and . Pattern Recognit. Lett., (2020)AgEBO-Tabular: Joint Neural Architecture and Hyperparameter Search with Autotuned Data-Parallel Training for Tabular Data., , , , and . CoRR, (2020)LEGO-Prover: Neural Theorem Proving with Growing Libraries., , , , , , , , , and 4 other author(s). CoRR, (2023)Winning solutions and post-challenge analyses of the ChaLearn AutoDL challenge 2019, , , , , , , , , and 15 other author(s). HAL, (September 2020)Advances in MetaDL: AAAI 2021 Challenge and Workshop., , , , , and . MetaDL@AAAI, volume 140 of Proceedings of Machine Learning Research, page 1-16. PMLR, (2021)Deep Statistical Solvers., , , , , and . NeurIPS, (2020)A Survey of Reasoning with Foundation Models., , , , , , , , , and 24 other author(s). CoRR, (2023)FIMO: A Challenge Formal Dataset for Automated Theorem Proving., , , , , , , , , and 2 other author(s). CoRR, (2023)Large Language Models as Automated Aligners for benchmarking Vision-Language Models., , , , , , and . CoRR, (2023)