ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2004.06997
  4. Cited By
Prolog Technology Reinforcement Learning Prover

Prolog Technology Reinforcement Learning Prover

15 April 2020
Zsolt Zombori
Josef Urban
C. Brown
    OffRL
ArXiv (abs)PDFHTML

Papers citing "Prolog Technology Reinforcement Learning Prover"

8 / 8 papers shown
Title
QEDCartographer: Automating Formal Verification Using Reward-Free
  Reinforcement Learning
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
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
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
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
CLLLRM
104
18
0
20 Dec 2021
Learning to Guide a Saturation-Based Theorem Prover
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
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
Stateful Premise Selection by Recurrent Neural Networks
Bartosz Piotrowski
Josef Urban
LRM
56
21
0
11 Mar 2020
Towards Finding Longer Proofs
Towards Finding Longer Proofs
Zsolt Zombori
Adrián Csiszárik
Henryk Michalewski
C. Kaliszyk
Josef Urban
OffRLLRM
83
16
0
30 May 2019
1