EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages

12 February 2024

Papers citing "EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages"

1 / 1 papers shown

Title
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning Yuhuai Wu M. Rabe Wenda Li Jimmy Ba Roger C. Grosse Christian Szegedy AIMat LRM 79 53 0 15 Jan 2021