Alien coding

DOI10.1016/j.ijar.2023.109009arXiv2301.11479OpenAlexW4385753094MaRDI QIDQ6066843

Miroslav Olšák, Josef Urban, Thibault Gauthier

Publication date: 16 November 2023

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2301.11479

zbMATH Keywords

integer sequencesmachine learningautomated reasoning for mathematics

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68V99) Learning and adaptive systems in artificial intelligence (68T05) Calculation of integer sequences (11Y55)

Related Items (1)

On the complexity of learning programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• First experiments with neural translation of informal to formal mathematics
• ATPboost: learning premise selection in binary setting with ATP feedback
• Heterogeneous heuristic optimisation and scheduling for first-order theorem proving
• First neural conjecturing datasets and experiments
• MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
• Mathematics on a Distant Planet
• The New Quickcheck for Isabelle
• Automating Inductive Proofs Using Theory Exploration
• Hierarchical invention of theorem proving strategies
• The On-Line Encyclopedia of Integer Sequences
• A formal theory of inductive inference. Part I
• Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
• Hammering Mizar by Learning Clause Guidance (Short Paper).

This page was built for publication: Alien coding