Simon Guilloud

According to our database, Simon Guilloud authored at least 6 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Orthologic with Axioms.

Simon Guilloud, Viktor Kuncak

Proc. ACM Program. Lang., January, 2024

Mechanized HOL Reasoning in Set Theory.

Simon Guilloud, Sankalp Gambhir, Andrea Gilot, Viktor Kuncak

CoRR, 2024

Interpolation and Quantifiers in Ortholattices.

Simon Guilloud, Sankalp Gambhir, Viktor Kuncak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

LISA - A Modern Proof System.

Simon Guilloud, Sankalp Gambhir, Viktor Kuncak

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

Formula Normalizations in Verification.

Simon Guilloud, Mario Bucev, Dragana Milovancevic, Viktor Kuncak

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time.

Simon Guilloud, Viktor Kuncak

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022