Julian Parsert

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 21

Top Topics

Sequent Calculus

Linear Programming

First Order Logic

Theorem Proving

Top Venues

Arch. Formal Proofs

J. Log. Comput.

Publications

Julian Parsert, Elizabeth Polgreen
Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis. AAAI (2024)
Julian Parsert
Linear Programming in Isabelle/HOL. CoRR (2024)
Yixuan Li, Julian Parsert, Elizabeth Polgreen
Guiding Enumerative Program Synthesis with Large Language Models. CoRR (2024)
David M. Cerna, Julian Parsert
One is all you need: Second-order Unification without First-order Variables. CoRR (2024)
Yixuan Li, Julian Parsert, Elizabeth Polgreen
Guiding Enumerative Program Synthesis with Large Language Models. CAV (2) (2024)
Julian Parsert, Elizabeth Polgreen
Reinforcement Learning for Syntax-Guided Synthesis. CoRR (2023)
Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk
Experiments on Infinite Model Finding in SMT Solving. LPAR (2023)
Mirco Giacobbe, Daniel Kroening, Julian Parsert
Neural termination analysis. ESEC/SIGSOFT FSE (2022)
Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk
A Study of Continuous Vector Representationsfor Theorem Proving. CoRR (2021)
Mirco Giacobbe, Daniel Kroening, Julian Parsert
Neural Termination Analysis. CoRR (2021)
Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk
A study of continuous vector representations for theorem proving. J. Log. Comput. 31 (8) (2021)
Julian Parsert, Stephanie Autherith, Cezary Kaliszyk
Property Preserving Embedding of First-order Logic. GCAI (2020)
Julian Parsert, Cezary Kaliszyk
Linear Programming. Arch. Formal Proofs 2019 (2019)
Florian Meßner, Julian Parsert, Jonas Schöpf, Christian Sternagel
A Formally Verified Solver for Homogeneous Linear Diophantine Equations. ITP (2018)
Julian Parsert, Cezary Kaliszyk
Von-Neumann-Morgenstern Utility Theorem. Arch. Formal Proofs 2018 (2018)
Cezary Kaliszyk, Julian Parsert
Formal microeconomic foundations and the first welfare theorem. CPP (2018)
Yutaka Nagashima, Julian Parsert
Goal-Oriented Conjecturing for Isabelle/HOL. CoRR (2018)
Yutaka Nagashima, Julian Parsert
Goal-Oriented Conjecturing for Isabelle/HOL. CICM (2018)
Julian Parsert, Cezary Kaliszyk
Towards Formal Foundations for Game Theory. ITP (2018)
Florian Messner, Julian Parsert, Jonas Schöpf, Christian Sternagel
Homogeneous Linear Diophantine Equations. Arch. Formal Proofs 2017 (2017)
Julian Parsert, Cezary Kaliszyk
Microeconomics and the First Welfare Theorem. Arch. Formal Proofs 2017 (2017)