A Study of Continuous Vector Representationsfor Theorem Proving

22 January 2021

Papers citing "A Study of Continuous Vector Representationsfor Theorem Proving"

3 / 3 papers shown

Title
Learning Guided Automated Reasoning: A Brief Survey Lasse Blaauwbroek David M. Cerna Thibault Gauthier Jan Jakubruv C. Kaliszyk Martin Suda Josef Urban LRM 93 5 0 06 Mar 2024
gym-saturation: Gymnasium environments for saturation provers (System description) Boris Shminke 71 1 0 16 Sep 2023
Project proposal: A modular reinforcement learning based automated theorem prover Boris Shminke 64 1 0 06 Sep 2022