Goal-oriented conjecturing for Isabelle/HOL Y Nagashima, J Parsert International Conference on Intelligent Computer Mathematics, 225-231, 2018 | 13 | 2018 |

Formal microeconomic foundations and the first welfare theorem C Kaliszyk, J Parsert Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018 | 4 | 2018 |

Neural termination analysis M Giacobbe, D Kroening, J Parsert arXiv preprint arXiv:2102.03824, 2021 | 3 | 2021 |

Towards Formal Foundations for Game Theory J Parsert, C Kaliszyk International Conference on Interactive Theorem Proving, 495-503, 2018 | 2 | 2018 |

A Formally Verified Solver for Homogeneous Linear Diophantine Equations F Meßner, J Parsert, J Schöpf, C Sternagel International Conference on Interactive Theorem Proving, 441-458, 2018 | 2 | 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 | 1 | 2021 |

Property preserving embedding of first-order logic J Parsert, S Autherith, C Kaliszyk EPiC Series in Computing 72, 70-82, 2020 | 1 | 2020 |

Linear-Programming J Parsert, C Kaliszyk Archive of Formal Proofs, 2019 | 1 | 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 |

First Welfare Theorem J Parsert, C Kaliszyk | | 2021 |

Von Neumann Morgenstern Utility Theorem J Parsert, C Kaliszyk | | 2021 |

A Study of Continuous Vector Representationsfor Theorem Proving S Purgal, J Parsert, C Kaliszyk | | 2021 |

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 |