Skip to main content

Julian Parsert

Personal photo - Julian Parsert

Julian Parsert

Doctoral Student

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

 

Supervisor