Julian Parsert

Orcid: 0000-0002-5113-0767

According to our database1, Julian Parsert authored at least 15 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Reinforcement Learning for Syntax-Guided Synthesis.
CoRR, 2023

Experiments on Infinite Model Finding in SMT Solving.
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022
Neural termination analysis.
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.
J. Log. Comput., 2021

A Study of Continuous Vector Representationsfor Theorem Proving.
CoRR, 2021

2020
Property Preserving Embedding of First-order Logic.
Proceedings of the 6th Global Conference on Artificial Intelligence, 2020

2019
Linear Programming.
Arch. Formal Proofs, 2019

2018
Von-Neumann-Morgenstern Utility Theorem.
Arch. Formal Proofs, 2018

Goal-Oriented Conjecturing for Isabelle/HOL.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

Towards Formal Foundations for Game Theory.
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

A Formally Verified Solver for Homogeneous Linear Diophantine Equations.
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Formal microeconomic foundations and the first welfare theorem.
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017
Microeconomics and the First Welfare Theorem.
Arch. Formal Proofs, 2017

Homogeneous Linear Diophantine Equations.
Arch. Formal Proofs, 2017


  Loading...