Julian Parsert : Publications

Click here to download all publications in a single bibtex file

@inproceedings{DBLP:conf/aaai/ParsertP24,
  title = "Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis",
  author = "Julian Parsert and Elizabeth Polgreen",
  year = "2024",
  booktitle = "Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI} 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver, Canada",
  editor = "Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan",
  pages = "10670--10678",
  publisher = "{AAAI} Press",
  url = "https://doi.org/10.1609/aaai.v38i9.28938",
  doi = "10.1609/AAAI.V38I9.28938",
}

@inproceedings{DBLP:conf/lpar/ParsertBJK23,
  title = "Experiments on Infinite Model Finding in {SMT} Solving",
  author = "Julian Parsert and Chad E. Brown and Mikolas Janota and Cezary Kaliszyk",
  year = "2023",
  booktitle = "{LPAR} 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023",
  editor = "Ruzica Piskac and Andrei Voronkov",
  pages = "317--328",
  publisher = "EasyChair",
  series = "EPiC Series in Computing",
  url = "https://doi.org/10.29007/slrm",
  volume = "94",
  doi = "10.29007/SLRM",
}

@inproceedings{DBLP:conf/sigsoft/GiacobbeKP22,
  title = "Neural termination analysis",
  author = "Mirco Giacobbe and Daniel Kroening and Julian Parsert",
  year = "2022",
  booktitle = "Proceedings of the 30th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022",
  editor = "Abhik Roychoudhury and Cristian Cadar and Miryung Kim",
  pages = "633--645",
  publisher = "{ACM}",
  url = "https://doi.org/10.1145/3540250.3549120",
  doi = "10.1145/3540250.3549120",
}

@article{DBLP:journals/logcom/PurgalPK21,
  title = "A study of continuous vector representations for theorem proving",
  author = "Stanislaw J. Purgal and Julian Parsert and Cezary Kaliszyk",
  year = "2021",
  journal = "J. Log. Comput.",
  number = "8",
  pages = "2057--2083",
  url = "https://doi.org/10.1093/logcom/exab006",
  volume = "31",
  doi = "10.1093/LOGCOM/EXAB006",
}

@inproceedings{DBLP:conf/gcai/ParsertAK20,
  title = "Property Preserving Embedding of First-order Logic",
  author = "Julian Parsert and Stephanie Autherith and Cezary Kaliszyk",
  year = "2020",
  booktitle = "6th Global Conference on Artificial Intelligence, {GCAI} 2020, Hangzhou, China, April 6-9, 2020",
  editor = "Gr{\'{e}}goire Danoy and Jun Pang and Geoff Sutcliffe",
  pages = "70--82",
  publisher = "EasyChair",
  series = "EPiC Series in Computing",
  url = "https://doi.org/10.29007/18t1",
  volume = "72",
  doi = "10.29007/18T1",
}

@inproceedings{DBLP:conf/mkm/NagashimaP18,
  title = "Goal-Oriented Conjecturing for Isabelle/HOL",
  author = "Yutaka Nagashima and Julian Parsert",
  year = "2018",
  booktitle = "Intelligent Computer Mathematics - 11th International Conference, {CICM} 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings",
  editor = "Florian Rabe and William M. Farmer and Grant O. Passmore and Abdou Youssef",
  pages = "225--231",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://doi.org/10.1007/978-3-319-96812-4\_19",
  volume = "11006",
  doi = "10.1007/978-3-319-96812-4\_19",
}

@inproceedings{DBLP:conf/itp/ParsertK18,
  title = "Towards Formal Foundations for Game Theory",
  author = "Julian Parsert and Cezary Kaliszyk",
  year = "2018",
  booktitle = "Interactive Theorem Proving - 9th International Conference, {ITP} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings",
  editor = "Jeremy Avigad and Assia Mahboubi",
  pages = "495--503",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://doi.org/10.1007/978-3-319-94821-8\_29",
  volume = "10895",
  doi = "10.1007/978-3-319-94821-8\_29",
}

@inproceedings{DBLP:conf/itp/MessnerPSS18,
  title = "A Formally Verified Solver for Homogeneous Linear Diophantine Equations",
  author = "Florian Me{\ss}ner and Julian Parsert and Jonas Sch{\"{o}}pf and Christian Sternagel",
  year = "2018",
  booktitle = "Interactive Theorem Proving - 9th International Conference, {ITP} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings",
  editor = "Jeremy Avigad and Assia Mahboubi",
  pages = "441--458",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://doi.org/10.1007/978-3-319-94821-8\_26",
  volume = "10895",
  doi = "10.1007/978-3-319-94821-8\_26",
}

@inproceedings{DBLP:conf/cpp/KaliszykP18,
  title = "Formal microeconomic foundations and the first welfare theorem",
  author = "Cezary Kaliszyk and Julian Parsert",
  year = "2018",
  booktitle = "Proceedings of the 7th {ACM} {SIGPLAN} International Conference on Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January 8-9, 2018",
  editor = "June Andronick and Amy P. Felty",
  pages = "91--101",
  publisher = "{ACM}",
  url = "https://doi.org/10.1145/3167100",
  doi = "10.1145/3167100",
}