Alien Coding

27 January 2023

Papers citing "Alien Coding"

6 / 6 papers shown

Title
Learning Conjecturing from Scratch Thibault Gauthier J. Urban LRM 42 1 0 03 Mar 2025
Artifical intelligence and inherent mathematical difficulty Walter Dean Alberto Naibo AIMat 24 0 0 01 Aug 2024
Learning Guided Automated Reasoning: A Brief Survey Lasse Blaauwbroek David M. Cerna Thibault Gauthier Jan Jakubruv C. Kaliszyk Martin Suda Josef Urban LRM 19 4 0 06 Mar 2024
MizAR 60 for Mizar 50 Jan Jakubruv Karel Chvalovský Z. Goertzel C. Kaliszyk Mirek Olvsák Bartosz Piotrowski S. Schulz Martin Suda Josef Urban 13 12 0 12 Mar 2023
On the Complexity of Computing Gödel Numbers V. Brattka 12 0 0 08 Feb 2023
Learning Program Synthesis for Integer Sequences from Scratch Thibault Gauthier Josef Urban 57 6 0 24 Feb 2022