( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Guiding Enumerative Program Synthesis with Large Language Models.

, , и . CAV (2), том 14682 из Lecture Notes in Computer Science, стр. 280-301. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Julian Grapengiesser

Mit Ungewissheit planen: eine Untersuchung verschiedener Ansätze der Handhabung von Ungewissheit in komplexen Planungsprozessen. Uni Stuttgart, (2009)

Julian Gonska

Mikromechanische Biegebalken als hochsensitive Sensoren. Uni Freiburg, (2009)

Julian Künzel

Rolle neurotroper und muskulotroper Spasmolytika in der In-vitro-Fertilisation (IVF): Untersuchungen am perfundierten Schweineuterus. Uni Erlangen-Nürnberg, (2009)

Julian Horst

Die verbindliche Auskunft nach § 89 Abgabenordnung. Uni Münster, (2009)

Julian Widder

 

Другие публикации лиц с тем же именем

Experiments on Infinite Model Finding in SMT Solving., , , и . LPAR, том 94 из EPiC Series in Computing, стр. 317-328. EasyChair, (2023)Goal-Oriented Conjecturing for Isabelle/HOL., и . CICM, том 11006 из Lecture Notes in Computer Science, стр. 225-231. Springer, (2018)A Formally Verified Solver for Homogeneous Linear Diophantine Equations., , , и . ITP, том 10895 из Lecture Notes in Computer Science, стр. 441-458. Springer, (2018)Towards Formal Foundations for Game Theory., и . ITP, том 10895 из Lecture Notes in Computer Science, стр. 495-503. Springer, (2018)Microeconomics and the First Welfare Theorem., и . Arch. Formal Proofs, (2017)Neural termination analysis., , и . ESEC/SIGSOFT FSE, стр. 633-645. ACM, (2022)Linear Programming in Isabelle/HOL.. CoRR, (2024)Formal microeconomic foundations and the first welfare theorem., и . CPP, стр. 91-101. ACM, (2018)One is all you need: Second-order Unification without First-order Variables., и . CoRR, (2024)Guiding Enumerative Program Synthesis with Large Language Models., , и . CAV (2), том 14682 из Lecture Notes in Computer Science, стр. 280-301. Springer, (2024)