| Metamath: Bootstrap your own mathematical questions for large language models L Yu, W Jiang, H Shi, J Yu, Z Liu, Y Zhang, JT Kwok, Z Li, A Weller, W Liu arXiv preprint arXiv:2309.12284, 2023 | 437 | 2023 |
| Analysis of the automl challenge series I Guyon, L Sun-Hosoya, M Boullé, HJ Escalante, S Escalera, Z Liu, ... Automated Machine Learning 177, 177-219, 2019 | 166 | 2019 |
| Progressive-hint prompting improves reasoning in large language models C Zheng, Z Liu, E Xie, Z Li, Y Li arXiv preprint arXiv:2304.09797, 2023 | 152 | 2023 |
| A survey of reasoning with foundation models J Sun, C Zheng, E Xie, Z Liu, R Chu, J Qiu, J Xu, M Ding, H Li, M Geng, ... arXiv preprint arXiv:2312.11562, 2023 | 42 | 2023 |
| Bisakha Ray, Mehreen Saeed, Michele Sebag, Alexander Statnikov, Wei-Wei Tu, and Evelyne Viegas. Analysis of the AutoML Challenge Series 2015–2018 I Guyon, L Sun-Hosoya, M Boullé, HJ Escalante, S Escalera, Z Liu, ... AutoML, Springer series on Challenges in Machine Learning, 2019 | 36 | 2019 |
| Lego-prover: Neural theorem proving with growing libraries H Wang, H Xin, C Zheng, L Li, Z Liu, Q Cao, Y Huang, J Xiong, H Shi, ... arXiv preprint arXiv:2310.00656, 2023 | 35 | 2023 |
| Winning solutions and post-challenge analyses of the ChaLearn AutoDL challenge 2019 Z Liu, A Pavao, Z Xu, S Escalera, F Ferreira, I Guyon, S Hong, F Hutter, ... IEEE Transactions on Pattern Analysis and Machine Intelligence 43 (9), 3108-3125, 2021 | 34 | 2021 |
| AgEBO-tabular: joint neural architecture and hyperparameter search with autotuned data-parallel training for tabular data R Egele, P Balaprakash, I Guyon, V Vishwanath, F Xia, R Stevens, Z Liu Proceedings of the International Conference for High Performance Computing …, 2021 | 31 | 2021 |
| Dt-solver: Automated theorem proving with dynamic-tree sampling guided by proof-level value function H Wang, Y Yuan, Z Liu, J Shen, Y Yin, J Xiong, E Xie, H Shi, Y Li, L Li, ... Proceedings of the 61st Annual Meeting of the Association for Computational …, 2023 | 29 | 2023 |
| Deep statistical solvers B Donon, Z Liu, W Liu, I Guyon, A Marot, M Schoenauer Advances in Neural Information Processing Systems 33, 7910-7921, 2020 | 28 | 2020 |
| Towards automated deep learning: Analysis of the autodl challenge series 2019 Z Liu, Z Xu, S Rajaa, M Madadi, JCSJ Junior, S Escalera, A Pavao, ... NeurIPS 2019 Competition and Demonstration Track, 242-252, 2020 | 25 | 2020 |
| Gaining wisdom from setbacks: Aligning large language models via mistake analysis K Chen, C Wang, K Yang, J Han, L Hong, F Mi, H Xu, Z Liu, W Huang, Z Li, ... arXiv preprint arXiv:2310.10477, 2023 | 24 | 2023 |
| Fimo: A challenge formal dataset for automated theorem proving C Liu, J Shen, H Xin, Z Liu, Y Yuan, H Wang, W Ju, C Zheng, Y Yin, L Li, ... arXiv preprint arXiv:2309.04295, 2023 | 23 | 2023 |
| Mustard: Mastering uniform synthesis of theorem and proof data Y Huang, X Lin, Z Liu, Q Cao, H Xin, H Wang, Z Li, L Song, X Liang arXiv preprint arXiv:2402.08957, 2024 | 20 | 2024 |
| Leap nets for system identification and application to power systems B Donon, B Donnot, I Guyon, Z Liu, A Marot, P Panciatici, M Schoenauer Neurocomputing 416, 316-327, 2020 | 18 | 2020 |
| Autocv challenge design and baseline results Z Liu, I Guyon, JJ Junior, M Madadi, S Escalera, A Pavao, HJ Escalante, ... CAp 2019-Conférence sur l'Apprentissage Automatique, 2019 | 16 | 2019 |
| Bisakha Ray, Mehreen Saeed, Michèle Sebag, et al I Guyon, L Sun-Hosoya, M Boullé, HJ Escalante, S Escalera, Z Liu, ... Analysis of the automl challenge series. Automated Machine Learning 177, 2019 | 16 | 2019 |
| Lessons learned from the NeurIPS 2021 MetaDL challenge: Backbone fine-tuning without episodic meta-learning dominates for few-shot learning image classification A El Baz, I Ullah, E Alcobaça, AC Carvalho, H Chen, F Ferreira, H Gouk, ... NeurIPS 2021 Competitions and Demonstrations Track, 80-96, 2022 | 15 | 2022 |
| Forward-backward reasoning in large language models for mathematical verification W Jiang, H Shi, L Yu, Z Liu, Y Zhang, Z Li, J Kwok Findings of the Association for Computational Linguistics ACL 2024, 6647-6661, 2024 | 14 | 2024 |
| Lyra: Orchestrating dual correction in automated theorem proving C Zheng, H Wang, E Xie, Z Liu, J Sun, H Xin, J Shen, Z Li, Y Li arXiv preprint arXiv:2309.15806, 2023 | 13 | 2023 |
Sergio EscaleraProf., ICREA Academy, University of Barcelona, Computer Vision Center, ELLIS & IAPR & AAIA FellowПодтвержден адрес электронной почты в домене ub.edu
