Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2004.06997
Cited By
Prolog Technology Reinforcement Learning Prover
15 April 2020
Zsolt Zombori
Josef Urban
C. Brown
OffRL
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Prolog Technology Reinforcement Learning Prover"
8 / 8 papers shown
Title
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
Alex Sanchez-Stern
Abhishek Varghese
Zhanna Kaufman
Dylan Zhang
Talia Ringer
Yuriy Brun
133
2
0
17 Aug 2024
Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices
Aoxiang Fan
Tushar Vaidya
Y. Blankenship
Saket Chandra
Zhangsheng Lai
Kai Fong Ernest Chong
96
8
0
21 Mar 2023
Beyond Games: A Systematic Review of Neural Monte Carlo Tree Search Applications
Marco Kemmerling
Daniel Lutticke
Robert H. Schmitt
74
15
0
14 Mar 2023
Proving Theorems using Incremental Learning and Hindsight Experience Replay
Eser Aygun
Laurent Orseau
Ankit Anand
Xavier Glorot
Vlad Firoiu
Lei M. Zhang
Doina Precup
Shibl Mourad
CLL
LRM
104
18
0
20 Dec 2021
Learning to Guide a Saturation-Based Theorem Prover
Ibrahim Abdelaziz
Mayank Agarwal
B. Makni
Vernon Austil
Cristina Cornelio
...
Pavan Kapanipathi
Ndivhuwo Makondo
Kavitha Srinivas
Michael Witbrock
Achille Fokoue
54
17
0
07 Jun 2021
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning
Minchao Wu
Michael Norrish
Christian J. Walder
Amir Dezfouli
61
42
0
19 Feb 2021
Stateful Premise Selection by Recurrent Neural Networks
Bartosz Piotrowski
Josef Urban
LRM
56
21
0
11 Mar 2020
Towards Finding Longer Proofs
Zsolt Zombori
Adrián Csiszárik
Henryk Michalewski
C. Kaliszyk
Josef Urban
OffRL
LRM
83
16
0
30 May 2019
1