Large language models for mathematicians
From MaRDI portal
Publication:6622601
zbMATH Open1547.68807MaRDI QIDQ6622601FDOQ6622601
Philipp Petersen, Simon Frieder, Thomas Lukasiewicz, Julius Berner
Publication date: 22 October 2024
Published in: Internationale Mathematische Nachrichten (Search for Journal in Brave)
Learning and adaptive systems in artificial intelligence (68T05) Artificial neural networks and deep learning (68T07) Methodology of mathematics (00A35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
This page was built for publication: Large language models for mathematicians
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6622601)
