Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1309.4501
Cited By
A fully automatic problem solver with human-style output
17 September 2013
M. Ganesalingam
W. Gowers
AIMat
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"A fully automatic problem solver with human-style output"
4 / 4 papers shown
AI for Mathematics: A Cognitive Science Perspective
Cedegao E. Zhang
Katherine M. Collins
Adrian Weller
Joshua B. Tenenbaum
250
12
0
19 Oct 2023
hep-th
Yang-Hui He
Vishnu Jejjala
B. Nelson
AIMat
157
382
0
27 Jun 2018
Dataflow Matrix Machines as a Generalization of Recurrent Neural Networks
M. Bukatin
S. Matthews
A. Radul
AI4CE
97
2
0
29 Mar 2016
Automatic Construction and Natural-Language Description of Nonparametric Regression Models
AAAI Conference on Artificial Intelligence (AAAI), 2014
J. Lloyd
David Duvenaud
Roger C. Grosse
J. Tenenbaum
Zoubin Ghahramani
537
252
0
18 Feb 2014
1
Page 1 of 1
