Picture for Cezary Kaliszyk

Cezary Kaliszyk

University of Innsbruck

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction

Add code
Nov 02, 2024
Viaarxiv icon

Experiments with Choice in Dependently-Typed Higher-Order Logic

Add code
Oct 11, 2024
Viaarxiv icon

Learning Guided Automated Reasoning: A Brief Survey

Add code
Mar 06, 2024
Viaarxiv icon

MizAR 60 for Mizar 50

Add code
Mar 12, 2023
Viaarxiv icon

Differentiable Inductive Logic Programming in High-Dimensional Space

Add code
Aug 13, 2022
Figure 1 for Differentiable Inductive Logic Programming in High-Dimensional Space
Figure 2 for Differentiable Inductive Logic Programming in High-Dimensional Space
Figure 3 for Differentiable Inductive Logic Programming in High-Dimensional Space
Figure 4 for Differentiable Inductive Logic Programming in High-Dimensional Space
Viaarxiv icon

The Isabelle ENIGMA

Add code
May 04, 2022
Figure 1 for The Isabelle ENIGMA
Figure 2 for The Isabelle ENIGMA
Figure 3 for The Isabelle ENIGMA
Figure 4 for The Isabelle ENIGMA
Viaarxiv icon

Adversarial Learning to Reason in an Arbitrary Logic

Add code
Apr 06, 2022
Figure 1 for Adversarial Learning to Reason in an Arbitrary Logic
Figure 2 for Adversarial Learning to Reason in an Arbitrary Logic
Figure 3 for Adversarial Learning to Reason in an Arbitrary Logic
Figure 4 for Adversarial Learning to Reason in an Arbitrary Logic
Viaarxiv icon

Learning Higher-Order Programs without Meta-Interpretive Learning

Add code
Jan 14, 2022
Figure 1 for Learning Higher-Order Programs without Meta-Interpretive Learning
Figure 2 for Learning Higher-Order Programs without Meta-Interpretive Learning
Viaarxiv icon

JEFL: Joint Embedding of Formal Proof Libraries

Add code
Jul 21, 2021
Figure 1 for JEFL: Joint Embedding of Formal Proof Libraries
Figure 2 for JEFL: Joint Embedding of Formal Proof Libraries
Figure 3 for JEFL: Joint Embedding of Formal Proof Libraries
Figure 4 for JEFL: Joint Embedding of Formal Proof Libraries
Viaarxiv icon

Online Machine Learning Techniques for Coq: A Comparison

Add code
Apr 12, 2021
Figure 1 for Online Machine Learning Techniques for Coq: A Comparison
Figure 2 for Online Machine Learning Techniques for Coq: A Comparison
Figure 3 for Online Machine Learning Techniques for Coq: A Comparison
Figure 4 for Online Machine Learning Techniques for Coq: A Comparison
Viaarxiv icon