Publications
-
Yixuan Li, Julian Parsert, Elizabeth Polgreen
Guiding Enumerative Program Synthesis with Large Language Models
accepted at: 36th International Conference on Computer Aided Verification. 2024 -
Julian Parsert and Elizabeth Polgreen
Reinforcement Learning for Syntax-Guided Synthesis
The 38th Annual AAAI Conference on Artificial Intelligence (AAAI). 2024 -
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 -
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 -
Stanisław Purgał, Julian Parsert, and Cezary Kaliszyk
A study of continuous vector representations for theorem proving
Journal of Logic and Computation -
Julian Parsert, Stephanie Autherith and Cezary Kaliszyk
Property Preserving Embedding of First-order Logic
Global Conference on Artificial Intelligence (GCAI) 2020 -
Yutaka Nagashima, Julian Parsert
Goal-Oriented Conjecturing for Isabelle/HOL
Conference on Intelligent Computer Mathematics (CICM) 2018 -
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 -
Julian Parsert, and Cezary Kaliszyk
Towards Formal Foundations for Game Theory
9th International Conference on Interactive Theorem Proving (ITP) 2018 -
Cezary Kaliszyk and Julian Parsert
Formal Microeconomic Foundations and the First Welfare Theorem
7th ACM Conference on Certified Programs and Proofs (CPP) 2018