Simon Guilloud

According to our database, Simon Guilloud authored at least 12 papers between 2022 and 2026.

Collaborative distances:

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

2026

Are Dependent Types in Set Theory Feasible?

Yunsong Yang, Simon Guilloud, Viktor Kuncak

CoRR, March, 2026

2025

Orthologic Type Systems.

Simon Guilloud, Viktor Kuncak

CoRR, July, 2025

Verified and Optimized Implementation of Orthologic Proof Search.

Simon Guilloud, Clément Pit-Claudel

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

Interoperability of Proof Systems with SC-TPTP.

Simon Guilloud, Julie Cailler, Sankalp Gambhir, Auguste Poiroux, Yann Herklotz, Thomas Bourgeat, Viktor Kuncak

Proceedings of the Automated Deduction - CADE 30, 2025

2024

epfl-lara/lisa.

Simon Guilloud, Sankalp Gambhir, Andrea Gilot, Viktor Kuncak

Dataset, November, 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