Simon Guilloud

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

Collaborative distances:

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

2024

Orthologic with Axioms.

Simon Guilloud, Viktor Kuncak

Proc. ACM Program. Lang., January, 2024

Interpolation and Quantifiers in Ortholattices.

Simon Guilloud, Sankalp Gambhir, Viktor Kuncak

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

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus.

Julie Cailler, Simon Guilloud

Proceedings of the Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024

Mechanized HOL Reasoning in Set Theory.

Simon Guilloud, Sankalp Gambhir, Andrea Gilot, Viktor Kuncak

Proceedings of the 15th International Conference on Interactive Theorem Proving, 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