Stanislaw J. Purgal

According to our database, Stanislaw J. Purgal authored at least 8 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Differentiable Inductive Logic Programming in High-Dimensional Space.

Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk

CoRR, 2022

Learning Higher-Order Logic Programs From Failures.

Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Adversarial Learning to Reason in an Arbitrary Logic.

Stanislaw J. Purgal, Cezary Kaliszyk

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

2021

A study of continuous vector representations for theorem proving.

Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk

J. Log. Comput., 2021

Learning Higher-Order Programs without Meta-Interpretive Learning.

Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk

CoRR, 2021

A Study of Continuous Vector Representationsfor Theorem Proving.

Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk

CoRR, 2021

Deep Learning for Automated Theorem Proving - Extended Abstract.

Stanislaw J. Purgal

Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021

2020

Improving Expressivity of Graph Neural Networks.

Stanislaw J. Purgal

Proceedings of the 2020 International Joint Conference on Neural Networks, 2020