Benchmarking Large Language Models for Math Reasoning Tasks

Benchmarking Large Language Models for Math Reasoning Tasks

20 August 2024

Kathrin Seßler

Yao Rong

Emek Gözlüklü

Enkelejda Kasneci

Papers citing "Benchmarking Large Language Models for Math Reasoning Tasks"

5 / 5 papers shown

Title
34 Examples of LLM Applications in Materials Science and Chemistry: Towards Automation, Assistants, Agents, and Accelerated Scientific Discovery Yoel Zimmermann Adib Bazgir Alexander H Al-Feghali Mehrad Ansari L. C. Brinson ... Shang Zhu Jan Janssen Calvin Li Ian Foster Ben Blaiszik 64 0 0 05 May 2025
An Empirically-grounded tool for Automatic Prompt Linting and Repair: A Case Study on Bias, Vulnerability, and Optimization in Developer Prompts Dhia Elhaq Rzig Dhruba Jyoti Paul Kaiser Pister Jordan Henkel Foyzul Hassan 75 0 0 21 Jan 2025
LEGO-Prover: Neural Theorem Proving with Growing Libraries Haiming Wang Huajian Xin Chuanyang Zheng Lin Li Zhengying Liu ... Enze Xie Jian Yin Zhenguo Li Heng Liao Xiaodan Liang LRM 39 63 0 01 Oct 2023
Complexity-Based Prompting for Multi-Step Reasoning Yao Fu Hao-Chun Peng Ashish Sabharwal Peter Clark Tushar Khot ReLM LRM 162 414 0 03 Oct 2022
Large Language Models are Zero-Shot Reasoners Takeshi Kojima S. Gu Machel Reid Yutaka Matsuo Yusuke Iwasawa ReLM LRM 325 4,077 0 24 May 2022