Keyword:Diophantine equations

Papers
Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic Thibault Gauthier In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle Benedikt Stock, Abhik Pal, Maria Antonia Oprea, Yufei Liu, Malte Sophian Hassler, Simon Dubischar, Prabhat Devkota, Yiping Deng, Marco David, Bogdan Ciurezu, Jonas Bayer and Deepak Aryal EasyChair Preprint no. 152