Title
LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs Amogh Inamdar U. Macar Michel Vazirani Michael Tarnow Zarina Mustapha Natalia Dittren Sam Sadeh Nakul Verma Ansaf Salleb-Aouissi LRM 42 0 0 25 Mar 2025
A Survey on Mathematical Reasoning and Optimization with Large Language Models Ali Forootani OffRL LRM AI4CE 45 0 0 22 Mar 2025
Mathematical Language Models: A Survey Wei Liu Hanglei Hu Jie Zhou Yuyang Ding Junsong Li ... Mengliang He Qin Chen Bo Jiang Aimin Zhou Liang He LRM 79 12 0 03 Jan 2025
AutoVFX: Physically Realistic Video Editing from Natural Language Instructions Hao-Yu Hsu Zhi-Hao Lin Albert Zhai Hongchi Xia Shenlong Wang VGen 52 9 0 04 Nov 2024
Transformers to Predict the Applicability of Symbolic Integration Routines Rashid Barket Uzma Shafiq Matthew England Juergen Gerhard 27 0 0 31 Oct 2024
COOL: Efficient and Reliable Chain-Oriented Objective Logic with Neural Networks Feedback Control for Program Synthesis Jipeng Han 39 0 0 02 Oct 2024
CodeGraph: Enhancing Graph Reasoning of LLMs with Code Qiaolong Cai Zhaowei Wang Shizhe Diao James Kwok Yangqiu Song LRM 51 2 0 25 Aug 2024
Decomposed Prompting to Answer Questions on a Course Discussion Board Brandon Jaipersaud Paul Zhang Jimmy Ba Andrew Petersen Lisa Zhang Michael Ruogu Zhang 24 3 0 30 Jul 2024
COMET: "Cone of experience" enhanced large multimodal model for mathematical problem generation Sannyuya Liu Jintian Feng Zongkai Yang Yawei Luo Qian Wan Xiaoxuan Shen Jianwen Sun 57 4 0 16 Jul 2024
The Rise of Artificial Intelligence in Educational Measurement: Opportunities and Ethical Challenges Okan Bulut Maggie Beiting-Parrish J. Casabianca Sharon C. Slater Hong Jiao ... S. Yildirim-Erbasli Tarid Wongvorachan Joyce Xinle Liu Bin Tan Polina Morilova 40 10 0 27 Jun 2024
The Liouville Generator for Producing Integrable Expressions Rashid Barket Matthew England Jurgen Gerhard 26 1 0 17 Jun 2024
Automating Code Adaptation for MLOps -- A Benchmarking Study on LLMs Harsh Patel Buvaneswari A. Ramanan Manzoor A. Khan Thomas Williams Brian D. Friedman Lawrence Drabeck ELM 26 0 0 10 May 2024
Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions Jordan Meadows Tamsin James André Freitas ReLM LRM AI4CE 38 1 0 29 Apr 2024
Mathify: Evaluating Large Language Models on Mathematical Problem Solving Tasks Avinash Anand Mohit Gupta Kritarth Prasad Navya Singla Sanjana Sanjeev Jatin Kumar A. Shivam R. Shah LRM 57 14 0 19 Apr 2024
ToolNet: Connecting Large Language Models with Massive Tools via Tool Graph Xukun Liu Zhiyuan Peng Xiaoyuan Yi Xing Xie Lirong Xiang Yuchen Liu Dongkuan Xu CLL LLMAG 61 13 0 29 Feb 2024
MATHSENSEI: A Tool-Augmented Large Language Model for Mathematical Reasoning Debrup Das Debopriyo Banerjee Somak Aditya Ashish Kulkarni ReLM LRM 36 10 0 27 Feb 2024
FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems Yiming He Jia Zou Xiaokai Zhang Na Zhu Tuo Leng LRM 37 1 0 14 Feb 2024
Generating Chain-of-Thoughts with a Pairwise-Comparison Approach to Searching for the Most Promising Intermediate Thought Zhen-Yu Zhang Siwei Han Huaxiu Yao Gang Niu Masashi Sugiyama LLMAG LRM 13 1 0 10 Feb 2024
Large Language Models for Mathematical Reasoning: Progresses and Challenges Janice Ahn Rishu Verma Renze Lou Di Liu Rui Zhang Wenpeng Yin LRM 38 116 0 31 Jan 2024
Symbolic Equation Solving via Reinforcement Learning Lennart Dabelow Masahito Ueda 53 2 0 24 Jan 2024
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis Matthias Cosler Christopher Hahn Ayham Omar Frederik Schmitt NAI 36 1 0 22 Jan 2024
Visual Enumeration is Challenging for Large-scale Generative AI Alberto Testolin Kuinan Hou Marco Zorzi 38 2 0 09 Jan 2024
If LLM Is the Wizard, Then Code Is the Wand: A Survey on How Code Empowers Large Language Models to Serve as Intelligent Agents Ke Yang Jiateng Liu John Wu Chaoqi Yang Yi R. Fung ... Xu Cao Xingyao Wang Yiquan Wang Chenhui Xu Chengxiang Zhai LLMAG ELM 26 75 0 01 Jan 2024
Context Matters: Data-Efficient Augmentation of Large Language Models for Scientific Applications Xiang Li Haoran Tang Siyu Chen Ziwei Wang Anurag Maravi Marcin Abram 21 0 0 12 Dec 2023
Chain of Code: Reasoning with a Language Model-Augmented Code Emulator Chengshu Li Jacky Liang Andy Zeng Xinyun Chen Karol Hausman Dorsa Sadigh Sergey Levine Fei-Fei Li Fei Xia Brian Ichter LLMAG LRM 36 71 0 07 Dec 2023
How should the advent of large language models affect the practice of science? Marcel Binz Stephan Alaniz Adina Roskies B. Aczel Carl T. Bergstrom ... Emily M. Bender M. Marelli Matthew M. Botvinick Zeynep Akata Eric Schulz 36 9 0 05 Dec 2023
Understanding the Countably Infinite: Neural Network Models of the Successor Function and its Acquisition Vima Gupta Sashank Varma 22 0 0 26 Nov 2023
Conversational AI Threads for Visualizing Multidimensional Datasets Matt-Heun Hong Anamaria Crisan 30 8 0 09 Nov 2023
REAL: Resilience and Adaptation using Large Language Models on Autonomous Aerial Robots Andrea Tagliabue Kota Kondo Tong Zhao Mason B. Peterson Claudius T. Tewari Jonathan P. How 48 10 0 02 Nov 2023
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers Theo X. Olausson Alex Gu Benjamin Lipkin Cedegao E. Zhang Armando Solar-Lezama Josh Tenenbaum Roger Levy LRM AI4CE ReLM 49 95 0 23 Oct 2023
SEGO: Sequential Subgoal Optimization for Mathematical Problem-Solving Xueliang Zhao Xinting Huang Wei Bi Lingpeng Kong LRM 48 0 0 19 Oct 2023
Autonomous Tree-search Ability of Large Language Models Zheyu Zhang Zhuorui Ye Yikang Shen Chuang Gan LRM 26 0 0 14 Oct 2023
Progressive reduced order modeling: empowering data-driven modeling with selective knowledge transfer T. Kadeethum Daniel O’Malley Youngsoo Choi Hari S. Viswanathan Hongkyu Yoon AI4CE 23 1 0 04 Oct 2023
CRAFT: Customizing LLMs by Creating and Retrieving from Specialized Toolsets Lifan Yuan Yangyi Chen Xingyao Wang Yi R. Fung Hao Peng Heng Ji LLMAG KELM 27 58 0 29 Sep 2023
Learning the Efficient Frontier Philippe Chatigny Ivan Sergienko Ryan Ferguson Jordan Weir Maxime Bergeron 19 1 0 27 Sep 2023
When Automated Assessment Meets Automated Content Generation: Examining Text Quality in the Era of GPTs Marialena Bevilacqua Kezia Oketch Ruiyang Qin Will Stamey Xinyuan Zhang Yi Gan Kai Yang A. Abbasi DeLMO 36 10 0 25 Sep 2023
Design of Chain-of-Thought in Math Problem Solving Zhanming Jie Trung Quoc Luong Xinbo Zhang Xiaoran Jin Hang Li LRM 55 11 0 20 Sep 2023
MINT: Evaluating LLMs in Multi-turn Interaction with Tools and Language Feedback Xingyao Wang Zihan Wang Jiateng Liu Yangyi Chen Lifan Yuan Hao Peng Heng Ji LRM 133 142 0 19 Sep 2023
Using Large Language Model to Solve and Explain Physics Word Problems Approaching Human Level Jingzhe Ding Yan Cen Xinyuan Wei AI4CE 29 7 0 15 Sep 2023
A Survey on Large Language Model based Autonomous Agents Lei Wang Chengbang Ma Xueyang Feng Zeyu Zhang Hao-ran Yang ... Xu Chen Yankai Lin Wayne Xin Zhao Zhewei Wei Ji-Rong Wen LLMAG AI4CE LM&Ro 41 1,126 0 22 Aug 2023
Graph of Thoughts: Solving Elaborate Problems with Large Language Models Maciej Besta Nils Blach Aleš Kubíček Robert Gerstenberger Michal Podstawski ... Joanna Gajda Tomasz Lehmann H. Niewiadomski Piotr Nyczyk Torsten Hoefler LRM AI4CE LM&Ro 56 606 0 18 Aug 2023
Unveiling the Potential of Knowledge-Prompted ChatGPT for Enhancing Drug Trafficking Detection on Social Media Chuanbo Hu Bin Liu Xin Li Yanfang Ye 15 4 0 07 Jul 2023
Exploring the Robustness of Large Language Models for Solving Programming Problems Atsushi Shirafuji Yutaka Watanobe Takumi Ito Makoto Morishita Yuki Nakamura Yusuke Oda Jun Suzuki ELM 41 18 0 26 Jun 2023
Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and Beyond Fangzhi Xu Qika Lin Jiawei Han Tianzhe Zhao Jun Liu Min Zhang ELM LRM 41 32 0 16 Jun 2023
Exploring the MIT Mathematics and EECS Curriculum Using Large Language Models Sarah J. Zhang Samuel H. Florin Ariel N. Lee Eamon Niknafs Andrei Marginean ... Madeleine Udell Yoon Kim Tonio Buonassisi Armando Solar-Lezama Iddo Drori ELM 32 18 0 15 Jun 2023
Learnersourcing in the Age of AI: Student, Educator and Machine Partnerships for Content Creation Hassan Khosravi Paul Denny Steven Moore John C. Stamper 22 28 0 10 Jun 2023
World Models for Math Story Problems Andreas Opedal Niklas Stoehr Abulhair Saparov Mrinmaya Sachan ReLM 36 12 0 07 Jun 2023
MathChat: Converse to Tackle Challenging Math Problems with LLM Agents Yiran Wu Feiran Jia Shaokun Zhang Han-Tai Li Erkang Zhu Yue Wang Y. Lee Richard Peng Qingyun Wu Chi Wang LLMAG 24 49 0 02 Jun 2023
Leveraging Training Data in Few-Shot Prompting for Numerical Reasoning Zhanming Jie Wei Lu LRM ReLM 35 15 0 29 May 2023
OlaGPT: Empowering LLMs With Human-like Problem-Solving Abilities Yuanzhen Xie Tao Xie Mingxiong Lin Wen-Ke Wei Chenglin Li Beibei Kong Lei Chen Chengxiang Zhuo Bo Hu Zang Li RALM LLMAG LRM 30 6 0 23 May 2023