Julian Parsert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AAAI | Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis. | Julian Parsert, Elizabeth Polgreen |
| 2024 | CAV | Guiding Enumerative Program Synthesis with Large Language Models. | Yixuan Li, Julian Parsert, Elizabeth Polgreen |
| 2023 | LPAR | Experiments on Infinite Model Finding in SMT Solving. | Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk |
| 2018 | CPP | Formal microeconomic foundations and the first welfare theorem. | Cezary Kaliszyk, Julian Parsert |
| 2018 | ITP | A Formally Verified Solver for Homogeneous Linear Diophantine Equations. | Florian Mener, Julian Parsert, Jonas Schpf, Christian Sternagel |
| 2018 | ITP | Towards Formal Foundations for Game Theory. | Julian Parsert, Cezary Kaliszyk |