Homogeneous Linear Diophantine Equations. - Florian Messner; Julian Parsert; Jonas Schöpf; Christian Sternagel (Arch. Formal Proofs, 2017)

Microeconomics and the First Welfare Theorem. - Julian Parsert; Cezary Kaliszyk (Arch. Formal Proofs, 2017)

Formal microeconomic foundations and the first welfare theorem. - Cezary Kaliszyk; Julian Parsert (CPP, 2018)

A Formally Verified Solver for Homogeneous Linear Diophantine Equations. - Florian Meßner; Julian Parsert; Jonas Schöpf; Christian Sternagel (ITP, 2018)

Towards Formal Foundations for Game Theory. - Julian Parsert; Cezary Kaliszyk (ITP, 2018)

Goal-Oriented Conjecturing for Isabelle/HOL. - Yutaka Nagashima; Julian Parsert (CICM, 2018)

Von-Neumann-Morgenstern Utility Theorem. - Julian Parsert; Cezary Kaliszyk (Arch. Formal Proofs, 2018)

Linear Programming. - Julian Parsert; Cezary Kaliszyk (Arch. Formal Proofs, 2019)

Property Preserving Embedding of First-order Logic. - Julian Parsert; Stephanie Autherith; Cezary Kaliszyk (GCAI, 2020)

A Study of Continuous Vector Representationsfor Theorem Proving. - Stanislaw J. Purgal; Julian Parsert; Cezary Kaliszyk (CoRR, 2021)

A study of continuous vector representations for theorem proving. - Stanislaw J. Purgal; Julian Parsert; Cezary Kaliszyk (J. Log. Comput., 2021)

Neural termination analysis. - Mirco Giacobbe; Daniel Kroening; Julian Parsert (ESEC/SIGSOFT FSE, 2022)

Experiments on Infinite Model Finding in SMT Solving. - Julian Parsert; Chad E. Brown; Mikolas Janota; Cezary Kaliszyk (LPAR, 2023)

Reinforcement Learning for Syntax-Guided Synthesis. - Julian Parsert; Elizabeth Polgreen (CoRR, 2023)

Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis. - Julian Parsert; Elizabeth Polgreen (AAAI, 2024)

Guiding Enumerative Program Synthesis with Large Language Models. - Yixuan Li 003; Julian Parsert; Elizabeth Polgreen (CAV (2), 2024)

Linear Programming in Isabelle/HOL. - Julian Parsert (CoRR, 2024)

One is all you need: Second-order Unification without First-order Variables. - David M. Cerna; Julian Parsert (CoRR, 2024)