Julian Parsert

23 papers A* 1B 4C 1Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
One is all you need: Second-order Unification without First-order Variables.
Log. Methods Comput. Sci.
David M. Cerna, Julian Parsert
2025 J jnl
Extracting Robust Register Automata from Neural Networks over Data Sequences.
CoRR
Chih-Duo Hong, Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Julian Parsert, Tony Tan
2024 — conf
Guiding Enumerative Program Synthesis with Large Language Models.
CAV (2)
Yixuan Li, Julian Parsert, Elizabeth Polgreen
2024 J jnl
Guiding Enumerative Program Synthesis with Large Language Models.
CoRR
Yixuan Li, Julian Parsert, Elizabeth Polgreen
2024 J jnl
Linear Programming in Isabelle/HOL.
CoRR
Julian Parsert
2024 J jnl
One is all you need: Second-order Unification without First-order Variables.
CoRR
David M. Cerna, Julian Parsert
2024 A* conf
Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis.
AAAI
Julian Parsert, Elizabeth Polgreen
2023 B conf
Experiments on Infinite Model Finding in SMT Solving.
LPAR
Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk
2023 J jnl
Reinforcement Learning for Syntax-Guided Synthesis.
CoRR
Julian Parsert, Elizabeth Polgreen
2022 — conf
Neural termination analysis.
ESEC/SIGSOFT FSE
Mirco Giacobbe, Daniel Kroening, Julian Parsert
2021 J jnl
A Study of Continuous Vector Representationsfor Theorem Proving.
CoRR
Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk
2021 J jnl
A study of continuous vector representations for theorem proving.
J. Log. Comput.
Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk
2021 J jnl
Neural Termination Analysis.
CoRR
Mirco Giacobbe, Daniel Kroening, Julian Parsert
2020 — conf
Property Preserving Embedding of First-order Logic.
GCAI
Julian Parsert, Stephanie Autherith, Cezary Kaliszyk
2019 J jnl
Linear Programming.
Arch. Formal Proofs
Julian Parsert, Cezary Kaliszyk
2018 B conf
A Formally Verified Solver for Homogeneous Linear Diophantine Equations.
ITP
Florian Meßner, Julian Parsert, Jonas Schöpf, Christian Sternagel
2018 B conf
Formal microeconomic foundations and the first welfare theorem.
CPP
Cezary Kaliszyk, Julian Parsert
2018 C conf
Goal-Oriented Conjecturing for Isabelle/HOL.
CICM
Yutaka Nagashima, Julian Parsert
2018 J jnl
Goal-Oriented Conjecturing for Isabelle/HOL.
CoRR
Yutaka Nagashima, Julian Parsert
2018 B conf
Towards Formal Foundations for Game Theory.
ITP
Julian Parsert, Cezary Kaliszyk
2018 J jnl
Von-Neumann-Morgenstern Utility Theorem.
Arch. Formal Proofs
Julian Parsert, Cezary Kaliszyk
2017 J jnl
Homogeneous Linear Diophantine Equations.
Arch. Formal Proofs
Florian Messner, Julian Parsert, Jonas Schöpf, Christian Sternagel
2017 J jnl
Microeconomics and the First Welfare Theorem.
Arch. Formal Proofs
Julian Parsert, Cezary Kaliszyk