Enhancing Neural Mathematical Reasoning by Abductive Combination with Symbolic Library

28 March 2022

Papers citing "Enhancing Neural Mathematical Reasoning by Abductive Combination with Symbolic Library"

3 / 3 papers shown

Title
Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions Jordan Meadows Tamsin James André Freitas ReLM LRM AI4CE 35 1 0 29 Apr 2024
A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers Jordan Meadows Marco Valentino Damien Teney André Freitas 33 8 0 21 May 2023
Logical Tasks for Measuring Extrapolation and Rule Comprehension Ippei Fujisawa Ryota Kanai ELM LRM 28 4 0 14 Nov 2022