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. 2204.02737
  4. Cited By
Adversarial Learning to Reason in an Arbitrary Logic

Adversarial Learning to Reason in an Arbitrary Logic

6 April 2022
Stanislaw J. Purgal
C. Kaliszyk
ArXivPDFHTML

Papers citing "Adversarial Learning to Reason in an Arbitrary Logic"

2 / 2 papers shown
Title
Learning Guided Automated Reasoning: A Brief Survey
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
MizAR 40 for Mizar 40
C. Kaliszyk
Josef Urban
VLM
AI4CE
LRM
AIMat
54
132
0
10 Oct 2013
1