Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Parsert, Julian
11  Ergebnisse:
Personensuche X
?
1

Neural termination analysis:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Giacobbe, Mirco ; Kroening, Daniel ; Parsert, Julian - p. 633-645 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

A study of continuous vector representations for theorem pr..:

PurgaŁ, StanisŁaw ; Parsert, Julian ; Kaliszyk, Cezary
Journal of Logic and Computation.  31 (2021)  8 - p. 2057-2083 , 2021
Link: https://doi.org/10.1093/..
 
?
3

Goal-Oriented Conjecturing for Isabelle/HOL:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,
Nagashima, Yutaka ; Parsert, Julian - p. 225-231 , 2018
Link: https://doi.org/10.1007/..
 
?
4

Formal microeconomic foundations and the first welfare theo..:

, In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Kaliszyk, Cezary ; Parsert, Julian - p. 91-101 , 2018
Link: https://dl.acm.org/doi/1..
 
?
5

Reinforcement Learning and Data-Generation for Syntax-Guide..:

Parsert, Julian ; Polgreen, Elizabeth
http://arxiv.org/abs/2307.09564.  , 2023
Link: http://arxiv.org/abs/230..
 
?
6

Neural Termination Analysis:

Giacobbe, Mirco ; Kroening, Daniel ; Parsert, Julian
http://arxiv.org/abs/2102.03824.  , 2021
Link: http://arxiv.org/abs/210..
 
?
7

A Study of Continuous Vector Representationsfor Theorem Pro..:

Purgał, Stanisław ; Parsert, Julian ; Kaliszyk, Cezary
http://arxiv.org/abs/2101.09142.  , 2021
Link: http://arxiv.org/abs/210..
 
?
8

Property Preserving Encoding of First-order Logic:

Parsert, Julian ; Autherith, Stephanie ; Kaliszyk, Cezary
info:eu-repo/grantAgreement/EC/H2020/714034/.  , 2020
Link: https://zenodo.org/recor..
 
?
9

Towards Formal Foundations for Game Theory:

Parsert, Julian ; Kaliszyk, Cezary
info:eu-repo/grantAgreement/FWF/P/P 26201/.  , 2018
Link: https://zenodo.org/recor..
 
?
10

Goal-Oriented Conjecturing for Isabelle/HOL:

Nagashima, Yutaka ; Parsert, Julian
http://arxiv.org/abs/1806.04774.  , 2018
Link: http://arxiv.org/abs/180..
 
?
11

Formal microeconomic foundations and the first welfare theo..:

Parsert, Julian ; Kaliszyk, Cezary
info:eu-repo/grantAgreement/FWF/P/P 26201/.  , 2018
Link: https://zenodo.org/recor..
 
1-11