1 citations · 1 across the 3 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2019★ 1 cited
Self-Learned Formula Synthesis in Set Theory
Chad E. Brown, Thibault Gauthier
A reinforcement learning algorithm accomplishes the task of synthesizing a set-theoretical formula that evaluates to given truth values for given assignments.
cs.AI2019
Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic
Thibault Gauthier
The paper describes a deep reinforcement learning framework based on self-supervised learning within the proof assistant HOL4. A close interaction between the machine learning modu…
cs.AI2018
Learning to Reason with HOL4 tactics
Thibault Gauthier, Cezary Kaliszyk, Josef Urban
Techniques combining machine learning with translation to automated reasoning have recently become an important component of formal proof assistants. Such "hammer" tech- niques com…