Machine learning and information theory concepts towards an AI mathematician
type: Item
instance of: scholarly article
title: Machine learning and information theory concepts towards an AI mathematician
zbMATH Open document ID: 1540.68224
author: Yoshua Bengio
author: Nikolay Malkin
published in: Bulletin of the American Mathematical Society. New Series
publication date: 2024-06-13T00:00:00Z
Mathematics Subject Classification ID: 68T07
Mathematics Subject Classification ID: 00A35
Mathematics Subject Classification ID: 94A15
zbMATH DE Number: 7864497
MaRDI profile type: Publication
cites work: 10.1162/153244303322533223
cites work: Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
cites work: Large-Scale Machine Learning with Stochastic Gradient Descent
cites work: Q5721424
cites work: Rates of convergence in active learning
cites work: Aleatoric and epistemic uncertainty in machine learning: an introduction to concepts and methods
cites work: Q4457477
cites work: The use of machines to assist in rigorous proof
cites work: The Lean 4 theorem prover and programming language
cites work: Active Learning
cites work: Q4626283
cites work: Q5839923
cites work: Estimation of dependences based on empirical data. Transl. from the Russian by Samuel Kotz
cites work: Automated Proof Compression by Invention of New Definitions
DOI: 10.1090/BULL/1839
description: scientific article; zbMATH DE number 7864497