| Neural termination analysis M Giacobbe, D Kroening, J Parsert Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 15 | 2022 |
| Goal-oriented conjecturing for Isabelle/HOL Y Nagashima, J Parsert Intelligent Computer Mathematics: 11th International Conference, CICM 2018 …, 2018 | 15 | 2018 |
| Formal microeconomic foundations and the first welfare theorem C Kaliszyk, J Parsert Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018 | 7 | 2018 |
| Towards formal foundations for game theory J Parsert, C Kaliszyk Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018 | 7 | 2018 |
| A study of continuous vector representations for theorem proving S Purgał, J Parsert, C Kaliszyk Journal of Logic and Computation 31 (8), 2057-2083, 2021 | 6 | 2021 |
| Experiments on Infinite Model Finding in SMT Solving. J Parsert, CE Brown, M Janota, C Kaliszyk LPAR, 317-328, 2023 | 5 | 2023 |
| A formally verified solver for homogeneous linear diophantine equations F Meßner, J Parsert, J Schöpf, C Sternagel Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018 | 5 | 2018 |
| Guiding enumerative program synthesis with large language models Y Li, J Parsert, E Polgreen arXiv preprint arXiv:2403.03997, 2024 | 2 | 2024 |
| Property preserving embedding of first-order logic J Parsert, S Autherith, C Kaliszyk EPiC Series in Computing 72, 70-82, 2020 | 2 | 2020 |
| Linear programming J Parsert, C Kaliszyk Archive of Formal Proofs, 2019 | 2 | 2019 |
| Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis J Parsert, E Polgreen Proceedings of the AAAI Conference on Artificial Intelligence 38 (9), 10670 …, 2024 | 1 | 2024 |
| Teaching the Structure of First-order Formulas to Neural Networks J Parsert, S Autherith, C Kaliszyk 4 th Conference on Artificial Intelligence and Theorem Proving, Obergurgl …, 2019 | 1 | 2019 |
| Von Neumann Morgenstern Utility Theorem J Parsert, C Kaliszyk | | 2024 |
| One is all you need: Second-order Unification without First-order Variables DM Cerna, J Parsert arXiv preprint arXiv:2404.10616, 2024 | | 2024 |
| Linear Programming in Isabelle/HOL J Parsert arXiv preprint arXiv:2403.19639, 2024 | | 2024 |
| Machine learning for function synthesis J Parsert University of Oxford, 2024 | | 2024 |
| A Study of Continuous Vector Representationsfor Theorem Proving. SJ Purgal, J Parsert, C Kaliszyk CoRR, 2021 | | 2021 |
| Formalization of Social Choice Theory J Parsert | | 2018 |
| First Welfare Theorem J Parsert, C Kaliszyk | | 2017 |
| Propositional Logic-Algorithms, Data Structures and Theorems J Parsert | | 2017 |
Cezary KaliszykUniversity of Melbourne在 unimelb.edu.au 的电子邮件经过验证
