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

DOI10.1007/S10472-023-09894-7MaRDI QIDQ6059219zbMATH OpenOpenAlexFDO

Authors Bruno Buchberger

Publication date 2 November 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

artificial general intelligenceartificial intelligenceautomated programmingautomated reasoningmachine learningpretrained large language modelsprogramming assistantsoftware industrysymbolic computation

Mathematics Subject Classification ID

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

Recommendations

• Symbolic computation in automated program reasoning
• Automata and computability. A programmer's perspective
• Learning symbolic automata
• A perspective on symbolic mathematical computing and artificial intelligence
• Machine learning of higher-order programs
• Symbolic methods and automata

Cites work

• Algorithm synthesis by lazy thinking: examples and implementation in Theorema
• Theorema 2.0: computer-assisted natural-style mathematics

Cited in

(1)

• Logic program proportions

This page was built for publication: Automated programming, symbolic computation, machine learning: my personal view

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6059219)