Follow
Julian Parsert
Julian Parsert
DPhil (PhD) student in Computer Science, University of Oxford
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
Goal-oriented conjecturing for Isabelle/HOL
Y Nagashima, J Parsert
International Conference on Intelligent Computer Mathematics, 225-231, 2018
132018
Formal microeconomic foundations and the first welfare theorem
C Kaliszyk, J Parsert
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
42018
Neural termination analysis
M Giacobbe, D Kroening, J Parsert
arXiv preprint arXiv:2102.03824, 2021
32021
Towards Formal Foundations for Game Theory
J Parsert, C Kaliszyk
International Conference on Interactive Theorem Proving, 495-503, 2018
22018
A Formally Verified Solver for Homogeneous Linear Diophantine Equations
F Meßner, J Parsert, J Schöpf, C Sternagel
International Conference on Interactive Theorem Proving, 441-458, 2018
22018
A study of continuous vector representations for theorem proving
S Purgał, J Parsert, C Kaliszyk
Journal of Logic and Computation 31 (8), 2057-2083, 2021
12021
Property preserving embedding of first-order logic
J Parsert, S Autherith, C Kaliszyk
EPiC Series in Computing 72, 70-82, 2020
12020
Linear-Programming
J Parsert, C Kaliszyk
Archive of Formal Proofs, 2019
12019
Teaching the Structure of First-order Formulas to Neural Networks
J Parsert, S Autherith, C Kaliszyk
4 th Conference on Artificial Intelligence and Theorem Proving, Obergurgl …, 2019
12019
First Welfare Theorem
J Parsert, C Kaliszyk
2021
Von Neumann Morgenstern Utility Theorem
J Parsert, C Kaliszyk
2021
A Study of Continuous Vector Representationsfor Theorem Proving
S Purgal, J Parsert, C Kaliszyk
2021
Propositional Logic-Algorithms, Data Structures and Theorems
J Parsert
2017
Microeconomics and the First Welfare Theorem.
J Parsert, C Kaliszyk
Arch. Formal Proofs 2017, 2017
2017
Propositional Logic
J Parsert
2016
The system can't perform the operation now. Try again later.
Articles 1–15