Skip to content

Latest commit

 

History

History
115 lines (53 loc) · 7.23 KB

AI4Science.md

File metadata and controls

115 lines (53 loc) · 7.23 KB
Raw

Paper Collection for Code Intelligence x AI4Science Research

Mathematics

  1. [Nature Articles] Solving olympiad geometry without human demonstrations link, 2024.01

    Trieu H. Trinh, Yuhuai Wu, Quoc V. Le, He He, Thang Luong

  2. [ICLR2024] Llemma: An Open Language Model For Mathematics. arXiv, 2023.10

    Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, Marco Dos Santos, Stephen McAleer, Albert Q. Jiang, Jia Deng, Stella Biderman, Sean Welleck

  3. [ICLR2024] Lego-prover: Neural theorem proving with growing libraries arXiv, 2023.10

    Haiming Wang, Huajian Xin, Chuanyang Zheng, Lin Li, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Heng Liao, Xiaodan Liang

  4. [ESEC2023] Baldur: Whole-Proof Generation and Repair with Large Language Models arXiv, 2023.03

    Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun

  5. [ICLR2023] Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs arXiv, 2022.10

    Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, Wenda Li, Jiacheng Liu, Mateja Jamnik, Timothée Lacroix, Yuhuai Wu, Guillaume Lample

  6. [ICLR2023] Formal mathematics statement curriculum learning arXiv, 2022.02

    Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever

  7. [ACL2023] DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function arXiv, 2023.12

    Haiming Wang, Ye Yuan, Zhengying Liu, Jianhao Shen, Yichun Yin, Jing Xiong, Enze Xie, Han Shi, Yujun Li, Lin Li, Jian Yin, Zhenguo Li, Xiaodan Liang

  8. [NeurIPS2023] LeanDojo: Theorem Proving with Retrieval-Augmented Language Models arXiv, 2023.06

    Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar

  9. [Preprint] Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving arXiv, 2023.05

    Xueliang Zhao, Wenda Li, Lingpeng Kong

  10. [NeurIPS2022] Thor: Wielding hammers to integrate language models and automated theorem provers arXiv, 2022.05

    Albert Q. Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygóźdź, Piotr Miłoś, Yuhuai Wu, Mateja Jamnik

  11. [NeurIPS2022] Hypertree proof search for neural theorem proving arXiv, 2022.05

    Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, Xavier Martinet, Amaury Hayat, Gabriel Ebner, Aurélien Rodriguez, Timothée Lacroix

  12. [ICLR2022] Proof artifact co-training for theorem proving with language models arXiv, 2021.02

    Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu

  13. [AITP2021] LISA: Language models of ISAbelle proofs link, 2021

    Albert Qiaochu Jiang, Wenda Li, Jesse Michael Han, Yuhuai Wu

  14. [Preprint] Generative language modeling for automated theorem proving arXiv, 2020.09

    Stanislas Polu, Ilya Sutskever

  15. [CICM2018]First Experiments with Neural Translation of Informal to Formal Mathematics arXiv, 2018.05

    Qingxiang Wang, Cezary Kaliszyk, Josef Urban

Biochemistry

  1. [Nature Synthesis] Universal chemical programming language for robotic synthesis repeatability link, 2024.01

    Robert Rauschen, Mason Guy, Jason E. Hein, Leroy Cronin

  2. [Preprint] DrugAssist: A Large Language Model for Molecule Optimization arXiv, 2024.01

    Geyan Ye, Xibao Cai, Houtim Lai, Xing Wang, Junhong Huang, Longyue Wang, Wei Liu, Xiangxiang Zeng

  3. [Nature News&Views] Large language models direct automated chemistry laboratory link, 2023,12

    Ana Laura Dias, Tiago Rodrigues

  4. [ACS] Chatgpt research group for optimizing the crystallinity of mofs and cofs link, 2023.09

    Zhiling Zheng, Oufan Zhang, Ha L. Nguyen, Nakul Rampal, Ali H. Alawadhi, Zichao Rong, Teresa Head-Gordon, Christian Borgs, Jennifer T. Chayes, and Omar M. Yaghi

  5. [ICLR2024] BioCoder: A Benchmark for Bioinformatics Code Generation with Contextual Pragmatic Knowledge. arXiv, 2023.08

    Xiangru Tang, Bill Qian, Rick Gao, Jiakang Chen, Xinyun Chen, Mark Gerstein

  6. [ICLR2024] ChatGPT-powered Conversational Drug Editing Using Retrieval and Domain Feedback arXiv, 2023.05

    Shengchao Liu, Jiongxiao Wang, Yijin Yang, Chengpeng Wang, Ling Liu, Hongyu Guo, Chaowei Xiao

  7. [Preprint] ChemCrow: Augmenting large-language models with chemistry tools arXiv, 2023.04

    Andres M Bran, Sam Cox, Oliver Schilter, Carlo Baldassari, Andrew D White, Philippe Schwaller

  8. [Preprint] Retrieved Sequence Augmentation for Protein Representation Learning link, 2023.02

    Chang Ma, Haiteng Zhao, Lin Zheng, Jiayi Xin, Qintong Li, Lijun Wu, Zhihong Deng, Yang Lu, Qi Liu, Lingpeng Kong

  9. [Preprint] Natural language processing models that automate programming will transform chemistry research and teaching. arXiv, 2021.08

    Glen M. Hocky, Andrew D. White

  10. [Science] Organic synthesis in a modular robotic system driven by a chemical programming language link, 2018.11

    S. Steiner, Jakob B Wolf, S. Glatzel, Anna Andreou, J. Granda, Graham Keenan, T. Hinkley, G. Aragon-Camarasa, Philip J. Kitson, D. Angelone, L. Cronin