Automated programming, symbolic computation, machine learning: my personal view

DOI10.1007/s10472-023-09894-7OpenAlexW4387445043MaRDI QIDQ6059219

Bruno Buchberger

Publication date: 2 November 2023

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-023-09894-7

zbMATH Keywords

symbolic computationautomated reasoningartificial intelligencemachine learningartificial general intelligenceautomated programmingsoftware industrypretrained large language modelsprogramming assistant

Mathematics Subject Classification ID

Computational learning theory (68Q32) Symbolic computation and algebraic computation (68W30) Theory of programming languages (68N15) General topics in artificial intelligence (68T01)

Cites Work

• Theorema 2.0: Computer-Assisted Natural-Style Mathematics
• Unnamed Item