Julian Parsert

PROFILE

Homepage
No homepage is listed.
ORCID
No ORCID is listed.
Affiliations
No affiliations are listed.
Aliases
No aliases are listed.
Publication record
17 papers · 1,763 citations · H-index 6

PAPERS

Guiding Enumerative Program Synthesis with Large Language Models
202414 citationsauthor #2
Experiments on Infinite Model Finding in SMT Solving
20234 citationsauthor #1
Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis
20237 citationsauthor #1
A Study of Continuous Vector Representationsfor Theorem Proving
20216 citationsauthor #2
Neural termination analysis
202121 citationsauthor #3
Property Preserving Embedding of First-order Logic
20201 citationsauthor #1
Property Preserving Encoding of First-order Logic
20200 citationsauthor #1
Linear Programming
20191,668 citationsauthor #1
Goal-Oriented Conjecturing for Isabelle/HOL
201817 citationsauthor #2
Towards Formal Foundations for Game Theory
20187 citationsauthor #1
Formal microeconomic foundations and the first welfare theorem
20186 citationsauthor #2
Von-Neumann-Morgenstern Utility Theorem
20181 citationsauthor #1
Analysis begin 2 . 1 Definitions and Lemmas by Julian Parsert
20180 citationsauthor #1
A Formally Verified Solver for Homogeneous Linear Diophantine Equations
20183 citationsauthor #2
Microeconomics and the First Welfare Theorem
20171 citationsauthor #1
Homogeneous Linear Diophantine Equations
20171 citationsauthor #2
Edinburgh Research Explorer Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis
year unknown0 citationsauthor #1

TIMELINE

2017 2 citations

2018 34 citations

2019 1,668 citations

2020 1 citations

2021 27 citations

2023 11 citations

2024 14 citations

Unknown 0 citations

COAUTHOR MAP

CONCEPT FOOTPRINT