A collection of publications and talks. The names of the entries either lead to a post containig more details or the PDFs/preprints.


  1. Julian Parsert and Elizabeth Polgreen
    Reinforcement Learning for Syntax-Guided Synthesis
    to appear in: The 38th Annual AAAI Conference on Artificial Intelligence (AAAI). 2024
    [ PDF | BibTeX | Publisher ]
  2. Julian Parsert, Chad Brown, Mikolas Janota, and Cezary Kaliszyk
    Experiments on Infinite Model Finding in SMT Solving
    24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
    [ PDF | BibTeX | Publisher ]
  3. Mirco Giacobbe, Daniel Kroening, and Julian Parsert
    Neural Termination Analysis
    30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2022
    [ PDF | BibTeX | Publisher ]
  4. Stanisław Purgał, Julian Parsert, and Cezary Kaliszyk
    A study of continuous vector representations for theorem proving
    Journal of Logic and Computation
    [ PDF | BibTeX | Publisher ]
  5. Julian Parsert, Stephanie Autherith and Cezary Kaliszyk
    Property Preserving Embedding of First-order Logic
    Global Conference on Artificial Intelligence (GCAI) 2020
    [ PDF | BibTeX | Publisher ]
  6. Yutaka Nagashima, Julian Parsert
    Goal-Oriented Conjecturing for Isabelle/HOL
    Conference on Intelligent Computer Mathematics (CICM) 2018
    [ PDF | BibTeX | Publisher ]
  7. Florian Meßner, Julian Parsert,
    Jonas Schöpf, and Christian Sternagel
    A Formally Verified Solver for
    Homogeneous Linear Diophantine Equations

    9th International Conference on Interactive Theorem Proving (ITP) 2018
    [ PDF | BibTeX | Publisher ]
  8. Julian Parsert, and Cezary Kaliszyk
    Towards Formal Foundations for Game Theory
    9th International Conference on Interactive Theorem Proving (ITP) 2018
    [ PDF | BibTeX | Publisher ]
  9. Cezary Kaliszyk and Julian Parsert
    Formal Microeconomic Foundations and the First Welfare Theorem
    7th ACM Conference on Certified Programs and Proofs (CPP) 2018
    [ PDF | BibTeX | Publisher ]

Talks and Presentations

  1. Presentation at VINO2017 discussing research on Formal Microeconomic Foundations. [Slides]