Stanislaw J. Purgal

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 10

Top Topics

Extended Abstract

Finite Element Mesh

Theorem Proving

Top Venues

J. Log. Comput.

Publications

Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk
Learning Higher-Order Logic Programs From Failures. IJCAI (2022)
Stanislaw J. Purgal, Cezary Kaliszyk
Adversarial Learning to Reason in an Arbitrary Logic. FLAIRS (2022)
Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk
Differentiable Inductive Logic Programming in High-Dimensional Space. CoRR (2022)
Stanislaw J. Purgal, Cezary Kaliszyk
Adversarial Learning to Reason in an Arbitrary Logic. CoRR (2022)
Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk
Learning Higher-Order Programs without Meta-Interpretive Learning. CoRR (2021)
Stanislaw J. Purgal
Deep Learning for Automated Theorem Proving - Extended Abstract. CICM Workshops (2021)
Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk
A Study of Continuous Vector Representationsfor Theorem Proving. CoRR (2021)
Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk
A study of continuous vector representations for theorem proving. J. Log. Comput. 31 (8) (2021)
Stanislaw J. Purgal
Improving Expressivity of Graph Neural Networks. IJCNN (2020)
Stanislaw J. Purgal
Improving Expressivity of Graph Neural Networks. CoRR (2020)