Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Jacob McCarran
Observed name:
McCarran, Jacob
ORCID:
0009-0005-2312-6807
Observed ORCID:
0009-0005-2312-6807
OpenAlex ID:
A5120033055
Ax-Prover: a deep reasoning agentic framework for theorem proving in mathematics and quantum physics
2026
·
Benjamin Breen
, Marco Del Tredici
, et al.
·
Machine Learning Science and Technology
·
1
TENG: Time-Evolving Natural Gradient for Solving PDEs With Deep Neural Nets Toward Machine Precision
2024
·
Chen, Zhuo
, McCarran, Jacob
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
2
Citation count:
1
H-index:
1
I10-index:
Year
Topic
Type
