Picture for Thibault Gauthier

Thibault Gauthier

Learning Guided Automated Reasoning: A Brief Survey

Add code
Mar 06, 2024
Viaarxiv icon

Alien Coding

Add code
Jan 27, 2023
Viaarxiv icon

Program Synthesis for the OEIS

Add code
Feb 24, 2022
Figure 1 for Program Synthesis for the OEIS
Figure 2 for Program Synthesis for the OEIS
Figure 3 for Program Synthesis for the OEIS
Figure 4 for Program Synthesis for the OEIS
Viaarxiv icon

Tree Neural Networks in HOL4

Add code
Sep 03, 2020
Viaarxiv icon

Self-Learned Formula Synthesis in Set Theory

Add code
Dec 03, 2019
Figure 1 for Self-Learned Formula Synthesis in Set Theory
Figure 2 for Self-Learned Formula Synthesis in Set Theory
Figure 3 for Self-Learned Formula Synthesis in Set Theory
Viaarxiv icon

Deep Reinforcement Learning in HOL4

Add code
Oct 25, 2019
Figure 1 for Deep Reinforcement Learning in HOL4
Figure 2 for Deep Reinforcement Learning in HOL4
Figure 3 for Deep Reinforcement Learning in HOL4
Figure 4 for Deep Reinforcement Learning in HOL4
Viaarxiv icon

Learning to Prove with Tactics

Add code
Apr 02, 2018
Figure 1 for Learning to Prove with Tactics
Figure 2 for Learning to Prove with Tactics
Figure 3 for Learning to Prove with Tactics
Figure 4 for Learning to Prove with Tactics
Viaarxiv icon

Learning to Reason with HOL4 tactics

Add code
Apr 02, 2018
Figure 1 for Learning to Reason with HOL4 tactics
Figure 2 for Learning to Reason with HOL4 tactics
Figure 3 for Learning to Reason with HOL4 tactics
Figure 4 for Learning to Reason with HOL4 tactics
Viaarxiv icon

Premise Selection and External Provers for HOL4

Add code
Sep 11, 2015
Figure 1 for Premise Selection and External Provers for HOL4
Figure 2 for Premise Selection and External Provers for HOL4
Figure 3 for Premise Selection and External Provers for HOL4
Figure 4 for Premise Selection and External Provers for HOL4
Viaarxiv icon

Sharing HOL4 and HOL Light proof knowledge

Add code
Sep 11, 2015
Figure 1 for Sharing HOL4 and HOL Light proof knowledge
Figure 2 for Sharing HOL4 and HOL Light proof knowledge
Figure 3 for Sharing HOL4 and HOL Light proof knowledge
Figure 4 for Sharing HOL4 and HOL Light proof knowledge
Viaarxiv icon