| Goal-oriented conjecturing for Isabelle/HOL Y Nagashima, J Parsert Intelligent Computer Mathematics: 11th International Conference, CICM 2018 …, 2018 | 15 | 2018 |
| Neural termination analysis M Giacobbe, D Kroening, J Parsert Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 11 | 2022 |
| 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 | 7 | 2021 |
| 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 | 6 | 2018 |
| 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 | 4 | 2018 |
| Experiments on infinite model finding in SMT solving J Parsert, CE Brown, M Janota, C Kaliszyk LPAR 2023: Proceedings of 24th International Conference on Logic for …, 2023 | 3 | 2023 |
| 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 |
| 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 |
| Linear Programming in Isabelle/HOL J Parsert arXiv preprint arXiv:2403.19639, 2024 | | 2024 |
| 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 | | 2024 |
| Guiding Enumerative Program Synthesis with Large Language Models Y Li, J Parsert, E Polgreen arXiv preprint arXiv:2403.03997, 2024 | | 2024 |
| Von Neumann Morgenstern Utility Theorem J Parsert, C Kaliszyk | | 2023 |
| 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 |
| Microeconomics and the First Welfare Theorem. J Parsert, C Kaliszyk Arch. Formal Proofs 2017, 2017 | | 2017 |
| Propositional Logic J Parsert | | 2016 |
Cezary KaliszykUniversity of InnsbruckVerified email at uibk.ac.at
