Title
Consistent Autoformalization for Constructing Mathematical LibrariesConference on Empirical Methods in Natural Language Processing (EMNLP), 2024 Lan Zhang Xin Quan André Freitas AI4CE 183 12 0 05 Oct 2024
Easy2Hard-Bench: Standardized Difficulty Labels for Profiling LLM Performance and GeneralizationNeural Information Processing Systems (NeurIPS), 2024 Mucong Ding Chenghao Deng Jocelyn Choo Zichu Wu Aakriti Agrawal ... Wanrong Zhu Tom Goldstein John Langford Anima Anandkumar Furong Huang 285 7 0 27 Sep 2024
In-Context Learning May Not Elicit Trustworthy Reasoning: A-Not-B Errors in Pretrained Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP), 2024 Pengrui Han Peiyang Song Haofei Yu Jiaxuan You ReLM LRM 166 5 0 23 Sep 2024
Retrieval Augmented Generation (RAG) and Beyond: A Comprehensive Survey on How to Make your LLMs use External Data More Wisely Siyun Zhao Yuqing Yang Zilong Wang Zhiyuan He Luna Qiu Lili Qiu SyDa RALM 3DV 273 90 0 23 Sep 2024
AutoVerus: Automated Proof Generation for Rust Code Chenyuan Yang Xuheng Li Md Rakib Hossain Misu Jianan Yao Weidong Cui ... Jacob R. Lorch Shuai Lu Fan Yang Ziqiao Zhou Shan Lu 402 22 0 19 Sep 2024
Great Memory, Shallow Reasoning: Limits of $k$ NN-LMsNorth American Chapter of the Association for Computational Linguistics (NAACL), 2024 Shangyi Geng Wenting Zhao Alexander M. Rush RALM ReLM LRM 207 6 0 21 Aug 2024
KAN 2.0: Kolmogorov-Arnold Networks Meet Science Ziming Liu Pingchuan Ma Yixuan Wang Wojciech Matusik Max Tegmark 288 142 0 19 Aug 2024
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement LearningInternational Conference on Software Engineering (ICSE), 2024 Alex Sanchez-Stern Abhishek Varghese Zhanna Kaufman Dylan Zhang Talia Ringer Yuriy Brun 485 2 0 17 Aug 2024
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search Huajian Xin Zhaochun Ren Junxiao Song Zhihong Shao Wanjia Zhao ... Dejian Yang Zhibin Gou Z. F. Wu Fuli Luo Chong Ruan AIMat LRM 259 125 0 15 Aug 2024
miniCTX: Neural Theorem Proving with (Long-)ContextsInternational Conference on Learning Representations (ICLR), 2024 Jiewen Hu Thomas Zhu Sean Welleck AIMat 420 21 0 05 Aug 2024
Mission Impossible: A Statistical Perspective on Jailbreaking LLMsNeural Information Processing Systems (NeurIPS), 2024 Jingtong Su Mingyu Lee SangKeun Lee 159 21 0 02 Aug 2024
LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover Zijian Wu Jiayu Wang Dahua Lin Kai-xiang Chen 231 23 0 24 Jul 2024
Retrieval-Enhanced Machine Learning: Synthesis and Opportunities To Eun Kim Alireza Salemi Andrew Drozdov Fernando Diaz Hamed Zamani 327 10 0 17 Jul 2024
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition George Tsoukalas Jasper Lee John Jennings Jimmy Xin Michelle Ding Michael Jennings Amitayush Thakur Swarat Chaudhuri LRM AIMat 227 77 0 15 Jul 2024
Lean-STaR: Learning to Interleave Thinking and Proving Haohan Lin Zhiqing Sun Yiming Yang Sean Welleck ReLM LRM 602 49 0 14 Jul 2024
Solving General Natural-Language-Description Optimization Problems with Large Language Models Jihai Zhang Wei Wang Siyan Guo Li Wang Fangquan Lin Cheng Yang Wotao Yin 138 18 0 09 Jul 2024
Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent Mahdi Buali Robert Hoehndorf 178 0 0 05 Jul 2024
Learning Formal Mathematics From Intrinsic Motivation Gabriel Poesia David Broman Nick Haber Noah D. Goodman LRM 232 29 0 30 Jun 2024
Towards Large Language Model Aided Program Refinement YuFan Cai Zhe Hou Xiaokun Luan David Miguel Sanan Baena Yun Lin Jun Sun Jin Song Dong 128 5 0 26 Jun 2024
From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Models Sean Welleck Amanda Bertsch Matthew Finlayson Hailey Schoelkopf Alex Xie Graham Neubig Ilia Kulikov Zaid Harchaoui 326 109 0 24 Jun 2024
Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods George Granberry Wolfgang Ahrendt Moa Johansson 206 6 0 21 Jun 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving Xiaohan Lin Qingxing Cao Yinya Huang Haiming Wang Jianqiao Lu Zhengying Liu Linqi Song Xiaodan Liang LRM 135 19 0 20 Jun 2024
Proving Olympiad Algebraic Inequalities without Human Demonstrations Chenrui Wei Mengzhou Sun Wei Wang LRM 220 13 0 20 Jun 2024
miniCodeProps: a Minimal Benchmark for Proving Code Properties Evan Lohn Sean Welleck 135 13 0 16 Jun 2024
Reliable Evaluation and Benchmarks for Statement Autoformalization Auguste Poiroux Gail Weiss Viktor Kuncak Antoine Bosselut 349 10 0 11 Jun 2024
Can I understand what I create? Self-Knowledge Evaluation of Large Language Models Zhiquan Tan Lai Wei Yongfeng Zhang Xing Xie Weiran Huang ELM LRM 133 5 0 10 Jun 2024
SelfDefend: LLMs Can Defend Themselves against Jailbreaking in a Practical Manner Xunguang Wang Daoyuan Wu Zhenlan Ji Zongjie Li Pingchuan Ma Shuai Wang Yingjiu Li Yang Liu Ning Liu Juergen Rahmel AAML 400 28 0 08 Jun 2024
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems Huaiyuan Ying Zijian Wu Yihan Geng Zheng Yuan Dahua Lin Kai Chen 439 79 0 06 Jun 2024
RATT: A Thought Structure for Coherent and Correct LLM Reasoning Jinghan Zhang Xiting Wang Weijieying Ren Lu Jiang Dongjie Wang Kunpeng Liu LRM 373 34 0 04 Jun 2024
Process-Driven Autoformalization in Lean 4 Jianqiao Lu Zhengying Liu Yingjia Wan Yinya Huang Haiming Wang Zhicheng YANG Jing Tang Zhijiang Guo AI4CE 332 33 0 04 Jun 2024
Autoformalizing Euclidean Geometry Logan Murphy Kaiyu Yang Jialiang Sun Zhaoyu Li A. Anandkumar Xujie Si 167 13 0 27 May 2024
Empowering Large Language Models to Set up a Knowledge Retrieval Indexer via Self-Learning Xun Liang Pengnian Qi Zhiyu Li Sensen Zhang Shichao Song Hanyu Wang Jiawei Yang Feiyu Xiong Simin Niu Chenyang Xi RALM 182 13 0 27 May 2024
Models That Prove Their Own Correctness Noga Amit S. Goldwasser Orr Paradise G. Rothblum LRM 302 5 0 24 May 2024
Proving Theorems RecursivelyNeural Information Processing Systems (NeurIPS), 2024 Haiming Wang Huajian Xin Zhengying Liu Wenda Li Yinya Huang ... Zhicheng YANG Jing Tang Jian Yin Zhenguo Li Xiaodan Liang LRM 185 22 0 23 May 2024
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data Huajian Xin Daya Guo Zhihong Shao Zhaochun Ren Qihao Zhu Bo Liu Chong Ruan Wenda Li Xiaodan Liang SyDa 246 143 0 23 May 2024
HoneyBee: A Scalable Modular Framework for Creating Multimodal Oncology Datasets with Foundational Embedding Models Aakash Tripathi Asim Waqas M. Schabath Yasin Yilmaz Ghulam Rasool 422 6 0 13 May 2024
ATG: Benchmarking Automated Theorem Generation for Generative Language Models Xiaohan Lin Qingxing Cao Yinya Huang Zhicheng YANG Zhengying Liu Zhenguo Li Xiaodan Liang 223 8 0 05 May 2024
Generating Probabilistic Scenario Programs from Natural Language Karim Elmaaroufi Devan Shankar Ana Cismaru Marcell Vazquez-Chanlatte Alberto L. Sangiovanni-Vincentelli Matei A. Zaharia Sanjit A. Seshia 240 13 0 03 May 2024
Towards Neural Synthesis for SMT-Assisted Proof-Oriented ProgrammingInternational Conference on Software Engineering (ICSE), 2024 Saikat Chakraborty Gabriel Ebner Siddharth Bhat Sarah Fakhoury Sakina Fatima Shuvendu K. Lahiri Nikhil Swamy 183 21 0 03 May 2024
Towards Green AI: Current status and future research Christian Clemm Lutz Stobbe Kishan Wimalawarne Jan Druschke 216 5 0 01 May 2024
LLM-SR: Scientific Equation Discovery via Programming with Large Language Models Parshin Shojaee Kazem Meidani Shashank Gupta A. Farimani Chandan K. Reddy 450 51 0 29 Apr 2024
Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean Peiyang Song Kaiyu Yang A. Anandkumar 343 10 0 18 Apr 2024
A Survey on Deep Learning for Theorem Proving Zhaoyu Li Jialiang Sun Logan Murphy Qidong Su Zenan Li Xian Zhang Kaiyu Yang Xujie Si LRM 240 44 0 15 Apr 2024
Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic ProvingAnnual Meeting of the Association for Computational Linguistics (ACL), 2024 Chenyang An Zhibo Chen Qihao Ye Emily First Letian Peng Jiayun Zhang Zihan Wang Sorin Lerner Jingbo Shang LRM 267 11 0 10 Apr 2024
LeanReasoner: Boosting Complex Logical Reasoning with Lean Dongwei Jiang Marcio Fonseca Shay B. Cohen LRM 189 26 0 20 Mar 2024
StateFlow: Enhancing LLM Task-Solving through State-Driven Workflows Yiran Wu Tianwei Yue Shaokun Zhang Chi Wang Qingyun Wu 199 39 0 17 Mar 2024
Learning Guided Automated Reasoning: A Brief Survey Lasse Blaauwbroek David M. Cerna Thibault Gauthier Jan Jakubruv C. Kaliszyk Martin Suda Josef Urban LRM 227 7 0 06 Mar 2024
Reliable, Adaptable, and Attributable Language Models with Retrieval Akari Asai Zexuan Zhong Danqi Chen Pang Wei Koh Luke Zettlemoyer Hanna Hajishirzi Anuj Kumar KELM RALM 281 79 0 05 Mar 2024
SynCode: LLM Generation with Grammar Augmentation Shubham Ugare Tarun Suresh Hangoo Kang Sasa Misailovic Gagandeep Singh 215 34 0 03 Mar 2024
Retrieval-Augmented Generation for AI-Generated Content: A Survey Penghao Zhao Hailin Zhang Qinhan Yu Zhengren Wang Yunteng Geng Fangcheng Fu Ling Yang Wentao Zhang Jie Jiang Tengjiao Wang 3DV 848 427 0 29 Feb 2024

All Papers

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Papers citing "LeanDojo: Theorem Proving with Retrieval-Augmented Language Models"