Julian Parsert

According to our database, Julian Parsert authored at least 19 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

One is all you need: Second-order Unification without First-order Variables.

David M. Cerna, Julian Parsert

Log. Methods Comput. Sci., 2026

2025

Extracting Robust Register Automata from Neural Networks over Data Sequences.

Chih-Duo Hong, Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Julian Parsert, Tony Tan

CoRR, November, 2025

2024

Linear Programming in Isabelle/HOL.

Julian Parsert

CoRR, 2024

Guiding Enumerative Program Synthesis with Large Language Models.

Yixuan Li, Julian Parsert, Elizabeth Polgreen

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis.

Julian Parsert, Elizabeth Polgreen

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Reinforcement Learning for Syntax-Guided Synthesis.

Julian Parsert, Elizabeth Polgreen

CoRR, 2023

Experiments on Infinite Model Finding in SMT Solving.

Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

Neural termination analysis.

Mirco Giacobbe, Daniel Kroening, Julian Parsert

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021

A study of continuous vector representations for theorem proving.

Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk

J. Log. Comput., 2021

A Study of Continuous Vector Representationsfor Theorem Proving.

Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk

CoRR, 2021

2020

Property Preserving Embedding of First-order Logic.

Julian Parsert, Stephanie Autherith, Cezary Kaliszyk

Proceedings of the 6th Global Conference on Artificial Intelligence, 2020

2019

Linear Programming.

Julian Parsert, Cezary Kaliszyk

Arch. Formal Proofs, 2019

2018

Von-Neumann-Morgenstern Utility Theorem.

Julian Parsert, Cezary Kaliszyk

Arch. Formal Proofs, 2018

Goal-Oriented Conjecturing for Isabelle/HOL.

Yutaka Nagashima, Julian Parsert

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

Towards Formal Foundations for Game Theory.

Julian Parsert, Cezary Kaliszyk

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

A Formally Verified Solver for Homogeneous Linear Diophantine Equations.

Florian Meßner, Julian Parsert, Jonas Schöpf, Christian Sternagel

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Formal microeconomic foundations and the first welfare theorem.

Cezary Kaliszyk, Julian Parsert

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

Microeconomics and the First Welfare Theorem.

Julian Parsert, Cezary Kaliszyk

Arch. Formal Proofs, 2017

Homogeneous Linear Diophantine Equations.

Florian Messner, Julian Parsert, Jonas Schöpf, Christian Sternagel

Arch. Formal Proofs, 2017