references.bib

our papers
@inproceedings{yuan2026clarifydrawproactiveagents,
      title={Clarify Before You Draw: Proactive Agents for Robust Text-to-CAD Generation},
      author={Bo Yuan and Zelin Zhao and Petr Molodyk and Bin Hu and Yongxin Chen},
      booktitle={Proceedings of the International Conference on Machine Learning},
      year={2026}
}

@inproceedings{zhao2026laplacian,
      title={Laplacian Multi-scale Flow Matching for Generative Modeling},
      author={Zelin Zhao and Petr Molodyk and Haotian Xue and Yongxin Chen},
      booktitle={International Conference on Learning Representations},
      year={2026}
}

@misc{zhang2021diffusionnormalizingflow,
      title={Diffusion Normalizing Flow}, 
      author={Qinsheng Zhang and Yongxin Chen},
      year={2021},
      eprint={2110.07579},
      archivePrefix={arXiv},
      primaryClass={cs.LG},
      url={https://arxiv.org/abs/2110.07579}, 
}

@misc{mishra2023generative,
      title={Generative Skill Chaining: Long-Horizon Skill Planning with Diffusion Models}, 
      author={Utkarsh A. Mishra and Shangjie Xue and Yongxin Chen and Danfei Xu},
      year={2023},
      eprint={2401.03360},
      archivePrefix={arXiv},
      primaryClass={cs.RO},
      url={https://arxiv.org/abs/2401.03360}, 
}

@article{abouzaid2026first,
  title={First Proof},
  author={Abouzaid, Mohammed and Blumberg, Andrew J and Hairer, Martin and Kileel, Joe and Kolda, Tamara G and Nelson, Paul D and Spielman, Daniel and Srivastava, Nikhil and Ward, Rachel and Weinberger, Shmuel and others},
  journal={arXiv preprint arXiv:2602.05192},
  year={2026}
}

@article{wei2022chain,
  title={Chain-of-thought prompting elicits reasoning in large language models},
  author={Wei, Jason and Wang, Xuezhi and Schuurmans, Dale and Bosma, Maarten and Xia, Fei and Chi, Ed and Le, Quoc V and Zhou, Denny and others},
  journal={Advances in neural information processing systems},
  volume={35},
  pages={24824--24837},
  year={2022}
}

@misc{aletheia,
      title={Aletheia tackles FirstProof autonomously}, 
      author={Tony Feng and Junehyuk Jung and Sang-hyun Kim and Carlo Pagano and Sergei Gukov and Chiang-Chiang Tsai and David Woodruff and Adel Javanmard and Aryan Mokhtari and Dawsen Hwang and Yuri Chervonyi and Jonathan N. Lee and Garrett Bingham and Trieu H. Trinh and Vahab Mirrokni and Quoc V. Le and Thang Luong},
      year={2026},
      eprint={2602.21201},
      archivePrefix={arXiv},
      primaryClass={cs.AI},
      url={https://arxiv.org/abs/2602.21201}, 
}

@misc{feng2026autonomousmathematicsresearch,
      title={Towards Autonomous Mathematics Research}, 
      author={Tony Feng and Trieu H. Trinh and Garrett Bingham and Dawsen Hwang and Yuri Chervonyi and Junehyuk Jung and Joonkyung Lee and Carlo Pagano and Sang-hyun Kim and Federico Pasqualotto and Sergei Gukov and Jonathan N. Lee and Junsu Kim and Kaiying Hou and Golnaz Ghiasi and Yi Tay and YaGuang Li and Chenkai Kuang and Yuan Liu and Hanzhao Lin and Evan Zheran Liu and Nigamaa Nayakanti and Xiaomeng Yang and Heng-Tze Cheng and Demis Hassabis and Koray Kavukcuoglu and Quoc V. Le and Thang Luong},
      year={2026},
      eprint={2602.10177},
      archivePrefix={arXiv},
      primaryClass={cs.LG},
      url={https://arxiv.org/abs/2602.10177}, 
}

@misc{openai_first_proof_2025,
  title        = {First Proof Submissions},
  author       = {{OpenAI}},
  year         = {2025},
  howpublished = {\url{https://openai.com/index/first-proof-submissions/}},
  note         = {Accessed: 2026-04-18}
}

@misc{openai_deep_research_2025,
  author       = {{OpenAI}},
  title        = {Introducing Deep Research},
  year         = {2025},
  howpublished = {\url{https://openai.com/index/introducing-deep-research/}},
  note         = {Research leads: Isa Fulford, Zhiqing Sun}
}

@misc{google_gemini_deep_research_2025,
  author       = {{Google DeepMind}},
  title        = {Gemini Deep Research},
  year         = {2025},
  howpublished = {\url{https://gemini.google/overview/deep-research/}},
  note         = {AI research assistant system}
}

@misc{zimmer2026agenticresearcherpracticalguide,
      title={The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning}, 
      author={Max Zimmer and Nico Pelleriti and Christophe Roux and Sebastian Pokutta},
      year={2026},
      eprint={2603.15914},
      archivePrefix={arXiv},
      primaryClass={cs.LG},
      url={https://arxiv.org/abs/2603.15914}, 
}

@misc{wolz2026agentic,
  author       = {Wolz, Dietmar},
  title        = {Agentic Strategy Design for Math Proofs},
  year         = {2026},
  howpublished = {\url{https://althofer.de/agentic_strategy_design_for_math_proofs.pdf}},
  note         = {Accessed February 12, 2026}
}

@inproceedings{Lean4,
author = {Moura, Leonardo de and Ullrich, Sebastian},
title = {The Lean 4 Theorem Prover and Programming Language},
year = {2021},
isbn = {978-3-030-79875-8},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
url = {https://doi.org/10.1007/978-3-030-79876-5_37},
doi = {10.1007/978-3-030-79876-5_37},
booktitle = {Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings},
pages = {625–635},
numpages = {11}
}

@article{yang2023leandojo,
  title={Leandojo: Theorem proving with retrieval-augmented language models},
  author={Yang, Kaiyu and Swope, Aidan and Gu, Alex and Chalamala, Rahul and Song, Peiyang and Yu, Shixing and Godil, Saad and Prenger, Ryan J and Anandkumar, Animashree},
  journal={Advances in Neural Information Processing Systems},
  volume={36},
  pages={21573--21612},
  year={2023}
}

@article{rocktaschel2017end,
  title={End-to-end differentiable proving},
  author={Rockt{\"a}schel, Tim and Riedel, Sebastian},
  journal={Advances in neural information processing systems},
  volume={30},
  year={2017}
}

@article{LearningExplanatoryRules,
  author       = {Richard Evans and
                  Edward Grefenstette},
  title        = {Learning Explanatory Rules from Noisy Data},
  journal      = {CoRR},
  volume       = {abs/1711.04574},
  year         = {2017},
  url          = {http://arxiv.org/abs/1711.04574},
  eprinttype   = {arXiv},
  eprint       = {1711.04574},
  timestamp    = {Mon, 27 Jan 2020 16:21:19 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-04574.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{trinh2024alphageometry,
  title={Solving olympiad geometry without human demonstrations},
  author={Trinh, Trieu H and Wu, Yuhuai and Le, Quoc V and He, He and Luong, Thang},
  journal={Nature},
  volume={625},
  number={7995},
  pages={476--482},
  year={2024},
  publisher={Nature Publishing Group UK London}
}

@misc{novikov2025alphaevolvecodingagentscientific,
      title={AlphaEvolve: A coding agent for scientific and algorithmic discovery}, 
      author={Alexander Novikov and Ngân Vũ and Marvin Eisenberger and Emilien Dupont and Po-Sen Huang and Adam Zsolt Wagner and Sergey Shirobokov and Borislav Kozlovskii and Francisco J. R. Ruiz and Abbas Mehrabian and M. Pawan Kumar and Abigail See and Swarat Chaudhuri and George Holland and Alex Davies and Sebastian Nowozin and Pushmeet Kohli and Matej Balog},
      year={2025},
      eprint={2506.13131},
      archivePrefix={arXiv},
      primaryClass={cs.AI},
      url={https://arxiv.org/abs/2506.13131}, 
}

@article{azerbayev2023llemma,
  title={Llemma: An open language model for mathematics},
  author={Azerbayev, Zhangir and Schoelkopf, Hailey and Paster, Keiran and Santos, Marco Dos and McAleer, Stephen and Jiang, Albert Q and Deng, Jia and Biderman, Stella and Welleck, Sean},
  journal={arXiv preprint arXiv:2310.10631},
  year={2023}
}

@book{dym2004principles,
  title={Principles of mathematical modeling},
  author={Dym, Clive},
  year={2004},
  publisher={Elsevier}
}

@book{boyd2004convex,
  title={Convex optimization},
  author={Boyd, Stephen and Vandenberghe, Lieven},
  year={2004},
  publisher={Cambridge university press}
}

@book{mitzenmacher2017probability,
  title={Probability and computing: Randomization and probabilistic techniques in algorithms and data analysis},
  author={Mitzenmacher, Michael and Upfal, Eli},
  year={2017},
  publisher={Cambridge university press}
}

@inproceedings{hendrycks2021math,
  title={Measuring Mathematical Problem Solving With the MATH Dataset},
  author={Hendrycks, Dan and Burns, Collin and Kadavath, Saurav and Arora, Akul and Basart, Steven and Tang, Eric and Song, Dawn and Steinhardt, Jacob},
  booktitle={Thirty-fifth Conference on Neural Information Processing Systems Datasets and Benchmarks Track (Round 2)},
  year={2021}
}

@inproceedings{lewkowycz2022solving,
  title={Solving Quantitative Reasoning Problems with Language Models},
  author={Lewkowycz, Aitor and Andreassen, Anders Johan and Dohan, David and Dyer, Ethan and Michalewski, Henryk and Ramasesh, Vinay Venkatesh and Slone, Ambrose and Anil, Cem and Schlag, Imanol and Gutman-Solo, Theo and others},
  booktitle={Advances in Neural Information Processing Systems},
  year={2022}
}

@article{cobbe2021gsm8k,
  title={Training verifiers to solve math word problems},
  author={Cobbe, Karl and Kosaraju, Vineet and Bavarian, Mohammad and Chen, Mark and Jun, Heewoo and Kaiser, Lukasz and Plappert, Matthias and Tworek, Jerry and Hilton, Jacob and Nakano, Reiichiro and others},
  journal={arXiv preprint arXiv:2110.14168},
  year={2021}
}

@article{polu2020gpt,
  title={Generative language modeling for automated theorem proving},
  author={Polu, Stanislas and Sutskever, Ilya},
  journal={arXiv preprint arXiv:2009.03393},
  year={2020}
}

@inproceedings{han2022proof,
  title={PROOF ARTIFACT CO-TRAINING FOR THEOREM PROVING WITH LANGUAGE MODELS},
  author={Han, Jesse Michael and Rute, Jason and Wu, Yuhuai and Ayers, Edward W and Polu, Stanislas},
  booktitle={International Conference on Learning Representations},
  year={2022}
}

@inproceedings{
jiang2022draft,
title={Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs},
author={Albert Qiaochu Jiang and Sean Welleck and Jin Peng Zhou and Timothee Lacroix and Jiacheng Liu and Wenda Li and Mateja Jamnik and Guillaume Lample and Yuhuai Wu},
booktitle={The Eleventh International Conference on Learning Representations },
year={2023},
url={https://openreview.net/forum?id=SMa9EAovKMC}
}

@article{ouyang2022training,
  title={Training language models to follow instructions with human feedback},
  author={Ouyang, Long and Wu, Jeffrey and Jiang, Xu and Almeida, Diogo and Wainwright, Carroll and Mishkin, Pamela and Zhang, Chong and Agarwal, Sandhini and Slama, Katarina and Ray, Alex and others},
  journal={Advances in neural information processing systems},
  volume={35},
  pages={27730--27744},
  year={2022}
}

@article{alphaproof2024,
  title={Ai achieves silver-medal standard solving international 178 mathematical olympiad problems},
  author={AlphaProof, Team and AlphaGeometry, Team},
  journal={DeepMind blog},
  volume={179},
  pages={45},
  year={2024}
}

@article{glazer2024frontiermath,
  title={Frontiermath: A benchmark for evaluating advanced mathematical reasoning in ai},
  author={Glazer, Elliot and Erdil, Ege and Besiroglu, Tamay and Chicharro, Diego and Chen, Evan and Gunning, Alex and Olsson, Caroline Falkman and Denain, Jean-Stanislas and Ho, Anson and Santos, Emily de Oliveira and others},
  journal={arXiv preprint arXiv:2411.04872},
  year={2024}
}

@article{romera2024mathematical,
  title={Mathematical discoveries from program search with large language models},
  author={Romera-Paredes, Bernardino and Barekatain, Mohammadamin and Novikov, Alexander and Balog, Matej and Kumar, M Pawan and Dupont, Emilien and Ruiz, Francisco JR and Ellenberg, Jordan S and Wang, Pengming and Fawzi, Omar and others},
  journal={Nature},
  volume={625},
  number={7995},
  pages={468--475},
  year={2024},
  publisher={Nature Publishing Group UK London}
}

@inproceedings{collins2024evaluating,
  title={Evaluating mathematical reasoning of large language models: A focus on error identification and correction},
  author={Li, Xiaoyuan and Wang, Wenjie and Li, Moxin and Guo, Junrong and Zhang, Yang and Feng, Fuli},
  booktitle={Findings of the Association for Computational Linguistics: ACL 2024},
  pages={11316--11360},
  year={2024}
}

@article{yang2024sweagent,
  title={Swe-agent: Agent-computer interfaces enable automated software engineering},
  author={Yang, John and Jimenez, Carlos E and Wettig, Alexander and Lieret, Kilian and Yao, Shunyu and Narasimhan, Karthik and Press, Ofir},
  journal={Advances in Neural Information Processing Systems},
  volume={37},
  pages={50528--50652},
  year={2024}
}

@inproceedings{wang2024openhands,
  title={OpenHands: An Open Platform for AI Software Developers as Generalist Agents},
  author={Wang, Xingyao and Li, Boxuan and Song, Yufan and Xu, Frank F and Tang, Xiangru and Zhuge, Mingchen and Pan, Jiayi and Song, Yueqi and Li, Bowen and Singh, Jaskirat and others},
  booktitle={The Thirteenth International Conference on Learning Representations},
  year={2025}
}

@inproceedings{patel2021svamp,
  title={Are NLP models really able to solve simple math word problems?},
  author={Patel, Arkil and Bhattamishra, Satwik and Goyal, Navin},
  booktitle={Proceedings of the 2021 conference of the North American chapter of the association for computational linguistics: human language technologies},
  pages={2080--2094},
  year={2021}
}

@inproceedings{miao2020asdiv,
  title={A diverse corpus for evaluating and developing English math word problem solvers},
  author={Miao, Shen-Yun and Liang, Chao-Chun and Su, Keh-Yih},
  booktitle={Proceedings of the 58th annual meeting of the Association for Computational Linguistics},
  pages={975--984},
  year={2020}
}

@article{openai2024openaio1,
  title={Openai o1 system card},
  author={Jaech, Aaron and Kalai, Adam and Lerer, Adam and Richardson, Adam and El-Kishky, Ahmed and Low, Aiden and Helyar, Alec and Madry, Aleksander and Beutel, Alex and Carney, Alex and others},
  journal={arXiv preprint arXiv:2412.16720},
  year={2024}
}

@article{newell1956logic,
  title={The logic theory machine-A complex information processing system},
  author={Newell, A and Simon, H},
  journal={IRE Transactions on Information Theory},
  volume={2},
  number={3},
  pages={61--79},
  year={1956}
}

@inproceedings{he2024olympiadbench,
  title={Olympiadbench: A challenging benchmark for promoting agi with olympiad-level bilingual multimodal scientific problems},
  author={He, Chaoqun and Luo, Renjie and Bai, Yuzhuo and Hu, Shengding and Thai, Zhen and Shen, Junhao and Hu, Jinyi and Han, Xu and Huang, Yujie and Zhang, Yuxiang and others},
  booktitle={Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)},
  pages={3828--3850},
  year={2024}
}

@article{gao2024omnimath,
  title={Omni-math: A universal olympiad level mathematic benchmark for large language models},
  author={Gao, Bofei and Song, Feifan and Yang, Zhe and Cai, Zefan and Miao, Yibo and Dong, Qingxiu and Li, Lei and Ma, Chenghao and Chen, Liang and Xu, Runxin and others},
  journal={arXiv preprint arXiv:2410.07985},
  year={2024}
}

@article{lample2022hypertree,
  title={Hypertree proof search for neural theorem proving},
  author={Lample, Guillaume and Lacroix, Timothee and Lachaux, Marie-Anne and Rodriguez, Aurelien and Hayat, Amaury and Lavril, Thibaut and Ebner, Gabriel and Martinet, Xavier},
  journal={Advances in neural information processing systems},
  volume={35},
  pages={26337--26349},
  year={2022}
}

@article{xin2024deepseekprover,
  title={Deepseek-prover: Advancing theorem proving in llms through large-scale synthetic data},
  author={Xin, Huajian and Guo, Daya and Shao, Zhihong and Ren, Zhizhou and Zhu, Qihao and Liu, Bo and Ruan, Chong and Li, Wenda and Liang, Xiaodan},
  journal={arXiv preprint arXiv:2405.14333},
  year={2024}
}

@article{frieder2024mathematical,
  title={Mathematical capabilities of chatgpt},
  author={Frieder, Simon and Pinchetti, Luca and Chevalier, Chevalier and Griffiths, Ryan-Rhys and Salvatori, Tommaso and Lukasiewicz, Thomas and Petersen, Philipp and Berner, Julius},
  journal={Advances in neural information processing systems},
  volume={36},
  pages={27699--27744},
  year={2023}
}

@inproceedings{liao2024mario,
  title={Mario: Math reasoning with code interpreter output-a reproducible pipeline},
  author={Liao, Minpeng and Li, Chengxi and Luo, Wei and Jing, Wu and Fan, Kai},
  booktitle={Findings of the Association for Computational Linguistics: ACL 2024},
  pages={905--924},
  year={2024}
}

@inproceedings{wang2022self,
  title={Self-Consistency Improves Chain of Thought Reasoning in Language Models},
  author={Wang, Xuezhi and Wei, Jason and Schuurmans, Dale and Le, Quoc V and Chi, Ed H and Narang, Sharan and Chowdhery, Aakanksha and Zhou, Denny},
  booktitle={The Eleventh International Conference on Learning Representations},
  year={2023}
}

@article{yao2023tree,
  title={Tree of thoughts: Deliberate problem solving with large language models},
  author={Yao, Shunyu and Yu, Dian and Zhao, Jeffrey and Shafran, Izhak and Griffiths, Tom and Cao, Yuan and Narasimhan, Karthik},
  journal={Advances in neural information processing systems},
  volume={36},
  pages={11809--11822},
  year={2023}
}

@inproceedings{lightman2023verify,
  title={Let's verify step by step},
  author={Lightman, Hunter and Kosaraju, Vineet and Burda, Yuri and Edwards, Harrison and Baker, Bowen and Lee, Teddy and Leike, Jan and Schulman, John and Sutskever, Ilya and Cobbe, Karl},
  booktitle={The twelfth international conference on learning representations},
  year={2023}
}

@inproceedings{gao2023pal,
  title={Pal: Program-aided language models},
  author={Gao, Luyu and Madaan, Aman and Zhou, Shuyan and Alon, Uri and Liu, Pengfei and Yang, Yiming and Callan, Jamie and Neubig, Graham},
  booktitle={International conference on machine learning},
  pages={10764--10799},
  year={2023},
  organization={PMLR}
}

@article{chen2022pot,
  title={Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Tasks},
  author={Chen, Wenhu and Ma, Xueguang and Wang, Xinyi and Cohen, William W},
  journal={Transactions on Machine Learning Research},
  year={2023}
}

@article{schick2023toolformer,
  title={Toolformer: Language models can teach themselves to use tools},
  author={Schick, Timo and Dwivedi-Yu, Jane and Dess{\`\i}, Roberto and Raileanu, Roberta and Lomeli, Maria and Hambro, Eric and Zettlemoyer, Luke and Cancedda, Nicola and Scialom, Thomas},
  journal={Advances in neural information processing systems},
  volume={36},
  pages={68539--68551},
  year={2023}
}

@inproceedings{wu2023autogen,
  title={Autogen: Enabling next-gen LLM applications via multi-agent conversations},
  author={Wu, Qingyun and Bansal, Gagan and Zhang, Jieyu and Wu, Yiran and Li, Beibin and Zhu, Erkang and Jiang, Li and Zhang, Xiaoyun and Zhang, Shaokun and Liu, Jiale and others},
  booktitle={First conference on language modeling},
  year={2024}
}

@inproceedings{yao2022react,
  title={React: Synergizing reasoning and acting in language models},
  author={Yao, Shunyu and Zhao, Jeffrey and Yu, Dian and Du, Nan and Shafran, Izhak and Narasimhan, Karthik R and Cao, Yuan},
  booktitle={The eleventh international conference on learning representations},
  year={2022}
}

@article{wu2022autoformalization,
  title={Autoformalization with large language models},
  author={Wu, Yuhuai and Jiang, Albert Qiaochu and Li, Wenda and Rabe, Markus and Staats, Charles and Jamnik, Mateja and Szegedy, Christian},
  journal={Advances in neural information processing systems},
  volume={35},
  pages={32353--32368},
  year={2022}
}

@article{wang2023scientific,
  title={Scientific discovery in the age of artificial intelligence},
  author={Wang, Hanchen and Fu, Tianfan and Du, Yuanqi and Gao, Wenhao and Huang, Kexin and Liu, Ziming and Chandak, Payal and Liu, Shengchao and Van Katwyk, Peter and Deac, Andreea and others},
  journal={Nature},
  volume={620},
  number={7972},
  pages={47--60},
  year={2023},
  publisher={Nature Publishing Group UK London}
}

@article{jumper2021alphafold,
  title={Highly accurate protein structure prediction with AlphaFold},
  author={Jumper, John and Evans, Richard and Pritzel, Alexander and Green, Tim and Figurnov, Michael and Ronneberger, Olaf and Tunyasuvunakool, Kathryn and Bates, Russ and {\v{Z}}{\'\i}dek, Augustin and Potapenko, Anna and others},
  journal={nature},
  volume={596},
  number={7873},
  pages={583--589},
  year={2021},
  publisher={Nature Publishing Group UK London}
}

% additional
@misc{arxiv,
  title = {arXiv e-Print archive},
  author = {{Cornell University}},
  howpublished = {\url{https://arxiv.org}},
  note = {Accessed: 2026}
}

@misc{mathscinet,
  title = {MathSciNet},
  author = {{American Mathematical Society}},
  howpublished = {\url{https://mathscinet.ams.org}},
  note = {Accessed: 2026}
}

@inproceedings{Deb_2024, series={JCDL ’24},
   title={An Overview of zbMATH Open Digital Library},
   url={http://dx.doi.org/10.1145/3677389.3702597},
   DOI={10.1145/3677389.3702597},
   booktitle={Proceedings of the 24th ACM/IEEE Joint Conference on Digital Libraries},
   publisher={ACM},
   author={Deb, Madhurima and Beckenbach, Isabel and Petrera, Matteo and Ehsani, Dariush and Fuhrmann, Marcel and Hao, Yun and Teschke, Olaf and Schubotz, Moritz},
   year={2024},
   month=Dec, pages={1–5},
   collection={JCDL ’24} }


@inproceedings{ji2023towards,
  title={Towards mitigating LLM hallucination via self reflection},
  author={Ji, Ziwei and Yu, Tiezheng and Xu, Yan and Lee, Nayeon and Ishii, Etsuko and Fung, Pascale},
  booktitle={Findings of the Association for Computational Linguistics: EMNLP 2023},
  pages={1827--1843},
  year={2023}
}

@misc{agrawal2025gepareflectivepromptevolution,
      title={GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning},
      author={Lakshya A Agrawal and Shangyin Tan and Dilara Soylu and Noah Ziems and Rishi Khare and Krista Opsahl-Ong and Arnav Singhvi and Herumb Shandilya and Michael J Ryan and Meng Jiang and Christopher Potts and Koushik Sen and Alexandros G. Dimakis and Ion Stoica and Dan Klein and Matei Zaharia and Omar Khattab},
      year={2025},
      eprint={2507.19457},
      archivePrefix={arXiv},
      primaryClass={cs.CL},
      url={https://arxiv.org/abs/2507.19457},
}

@article{liu2026evox,
  title={EvoX: Meta-Evolution for Automated Discovery},
  author={Liu, Shu and Agarwal, Shubham and Maheswaran, Monishwaran and Cemri, Mert and Li, Zhifei and Mang, Qiuyang and Naren, Ashwin and Boneh, Ethan and Cheng, Audrey and Pan, Melissa Z and others},
  journal={arXiv preprint arXiv:2602.23413},
  year={2026}
}

@misc{skydiscover2026,
  title = {SkyDiscover: A Flexible Framework for AI-Driven Scientific and Algorithmic Discovery},
  author = {Liu, Shu and Cemri, Mert and Agarwal, Shubham and Krentsel, Alexander and Naren, Ashwin and Mang, Qiuyang and Li, Zhifei and Gupta, Akshat and Maheswaran, Monishwaran and Cheng, Audrey and Pan, Melissa and Boneh, Ethan and Ramchandran, Kannan and Sen, Koushik and Dimakis, Alexandros G. and Zaharia, Matei and Stoica, Ion},
  year = {2026},
  url = {https://skydiscover-ai.github.io/blog.html}
}


@inproceedings{zhangaflow,
  title={AFlow: Automating Agentic Workflow Generation},
  author={Zhang, Jiayi and Xiang, Jinyu and Yu, Zhaoyang and Teng, Fengwei and Chen, Xiong-Hui and Chen, Jiaqi and Zhuge, Mingchen and Cheng, Xin and Hong, Sirui and Wang, Jinlin and others},
  booktitle={The Thirteenth International Conference on Learning Representations},
  year={2025}
}

@article{qu2026coral,
  title={CORAL: Towards Autonomous Multi-Agent Evolution for Open-Ended Discovery},
  author={Qu, Ao and Zheng, Han and Zhou, Zijian and Yan, Yihao and Tang, Yihong and Ong, Shao Yong and Hong, Fenglu and Zhou, Kaichen and Jiang, Chonghe and Kong, Minwei and others},
  journal={arXiv preprint arXiv:2604.01658},
  year={2026}
}

@misc{anthropic_claude_code,
  author = {{Anthropic}},
  title  = {Claude Code},
  howpublished = {\url{https://code.claude.com/docs/en/verview}}
}

@misc{openai_codex,
  author       = {{OpenAI}},
  title        = {Codex | AI Coding Partner from OpenAI},
  howpublished = {\url{https://openai.com/codex/}},
  note         = {Accessed: 2026-04-26}
}

@misc{google_geminicli,
  author       = {{Google}},
  title        = {Build, Debug \& Deploy with AI},
  howpublished = {\url{https://geminicli.com/}},
  note         = {Accessed: 2026-04-26}
}

@misc{karpathy_autoresearch,
  author = {Andrej Karpathy},
  title  = {autoresearch},
  howpublished = {\url{https://github.com/karpathy/autoresearch}}
}

@article{zhong2026achieving,
  title={Achieving> 97\% on gsm8k: Deeply understanding the problems makes llms better solvers for math word problems},
  author={Zhong, Qihuang and Wang, Kang and Xu, Ziyang and Ding, Liang and Liu, Juhua and Du, Bo},
  journal={Frontiers of Computer Science},
  volume={20},
  number={1},
  pages={1--3},
  year={2026},
  publisher={Springer}
}

@inproceedings{wu2025agentic,
  title={Agentic reasoning: A streamlined framework for enhancing llm reasoning with agentic tools},
  author={Wu, Junde and Zhu, Jiayuan and Liu, Yuyuan and Xu, Min and Jin, Yueming},
  booktitle={Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)},
  pages={28489--28503},
  year={2025}
}

multi-agent recent works

@article{ouyang2025reasoningbank,
  title={Reasoningbank: Scaling agent self-evolving with reasoning memory},
  author={Ouyang, Siru and Yan, Jun and Hsu, I and Chen, Yanfei and Jiang, Ke and Wang, Zifeng and Han, Rujun and Le, Long T and Daruki, Samira and Tang, Xiangru and others},
  journal={arXiv preprint arXiv:2509.25140},
  year={2025}
}

@misc{breen2025axproverdeepreasoningagentic,
      title={Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics}, 
      author={Benjamin Breen and Marco Del Tredici and Jacob McCarran and Javier Aspuru Mijares and Weichen Winston Yin and Kfir Sulimany and Jacob M. Taylor and Frank H. L. Koppens and Dirk Englund},
      year={2025},
      eprint={2510.12787},
      archivePrefix={arXiv},
      primaryClass={cs.AI},
      url={https://arxiv.org/abs/2510.12787}, 
}

@article{han2025exploring,
  title={Exploring advanced llm multi-agent systems based on blackboard architecture},
  author={Han, Bochen and Zhang, Songmao},
  journal={arXiv preprint arXiv:2507.01701},
  year={2025}
}

@article{zhou2025step,
  title={Step-wise formal verification for llm-based mathematical problem solving},
  author={Zhou, Kuo and Zhang, Lu},
  journal={arXiv preprint arXiv:2505.20869},
  year={2025}
}

@article{Yang2025LemmaHeadRA,
  title={LemmaHead: RAG Assisted Proof Generation Using Large Language Models},
  author={Tianbo Yang and Mingqi Yang and Hongyi Zhao and Tianshuo Yang},
  journal={ArXiv},
  year={2025},
  volume={abs/2501.15797},
  url={https://api.semanticscholar.org/CorpusID:275921289}
}

@article{shen2025real,
  title={Real-prover: Retrieval augmented lean prover for mathematical reasoning},
  author={Shen, Ziju and Huang, Naohao and Yang, Fanyi and Wang, Yutong and Gao, Guoxiong and Xu, Tianyi and Jiang, Jiedong and He, Wanyi and Yang, Pu and Sun, Mengzhou and others},
  journal={arXiv preprint arXiv:2505.20613},
  year={2025}
}