Julian Parsert
Julian Parsert
Wolfson Building, Parks Road, Oxford OX1 3QD
Interests
Program Synthesis, Verification, Interactive and Automated Theorem Proving, Machine Learning
Biography
Here is a list of my most recent publications:
Yixuan Li, Julian Parsert, Elizabeth Polgreen
Guiding Enumerative Program Synthesis with Large Language Models
Julian Parsert and Elizabeth Polgreen
Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis
Julian Parsert, Chad Brown, Mikolas Janota, and Cezary Kaliszyk
Experiments on Infinite Model Finding in SMT Solving
Mirco Giacobbe, Daniel Kroening, and Julian Parsert
Neural Termination Analysis
Stanisław Purgał, Julian Parsert, and Cezary Kaliszyk
A study of continuous vector representations for theorem proving
Yutaka Nagashima, Julian Parsert
Goal-Oriented Conjecturing for Isabelle/HOL
Florian Meßner, Julian Parsert, Jonas Schöpf, and Christian Sternagel
A Formally Verified Solver for Homogeneous Linear Diophantine Equations
Julian Parsert, and Cezary Kaliszyk
Towards Formal Foundations for Game Theory
Cezary Kaliszyk and Julian Parsert
Formal Microeconomic Foundations and the First Welfare Theorem