Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2101.09142
Cited By
A Study of Continuous Vector Representationsfor Theorem Proving
Journal of Logic and Computation (J. Log. Comput.), 2021
22 January 2021
Stanislaw J. Purgal
Julian Parsert
C. Kaliszyk
NAI
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"A Study of Continuous Vector Representationsfor Theorem Proving"
3 / 3 papers shown
Learning Guided Automated Reasoning: A Brief Survey
Lasse Blaauwbroek
David M. Cerna
Thibault Gauthier
Jan Jakubruv
C. Kaliszyk
Martin Suda
Josef Urban
LRM
311
8
0
06 Mar 2024
gym-saturation: Gymnasium environments for saturation provers (System description)
International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX), 2023
Boris Shminke
281
1
0
16 Sep 2023
Project proposal: A modular reinforcement learning based automated theorem prover
Boris Shminke
273
1
0
06 Sep 2022
1
Page 1 of 1
