Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2402.16878
Cited By
EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages
12 February 2024
Johnathan Mercer
Re-assign community
ArXiv
PDF
HTML
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
82
53
0
15 Jan 2021
1
