Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2204.02737
Cited By
Adversarial Learning to Reason in an Arbitrary Logic
6 April 2022
Stanislaw J. Purgal
C. Kaliszyk
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Adversarial Learning to Reason in an Arbitrary Logic"
2 / 2 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
27
4
0
06 Mar 2024
MizAR 40 for Mizar 40
C. Kaliszyk
Josef Urban
VLM
AI4CE
LRM
AIMat
54
132
0
10 Oct 2013
1