Simon Guilloud

18 papers A 1B 2Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Are Dependent Types in Set Theory Feasible?
CoRR
Yunsong Yang, Simon Guilloud, Viktor Kuncak
2025 A conf
Interoperability of Proof Systems with SC-TPTP.
CADE
Simon Guilloud, Julie Cailler, Sankalp Gambhir, Auguste Poiroux, Yann Herklotz, Thomas Bourgeat, Viktor Kuncak
2025 J jnl
Interpolation and Quantifiers in Ortholattices.
CoRR
Simon Guilloud, Sankalp Gambhir, Viktor Kuncak
2025 J jnl
LISA - A Modern Proof System.
CoRR
Simon Guilloud, Sankalp Gambhir, Viktor Kuncak
2025 J jnl
Orthologic Type Systems.
CoRR
Simon Guilloud, Viktor Kuncak
2025 J jnl
SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus.
CoRR
Julie Cailler, Simon Guilloud
2025 — conf
Verified and Optimized Implementation of Orthologic Proof Search.
CAV (3)
Simon Guilloud, Clément Pit-Claudel
2025 J jnl
Verified and Optimized Implementation of Orthologic Proof Search.
CoRR
Simon Guilloud, Clément Pit-Claudel
2024 — conf
Interpolation and Quantifiers in Ortholattices.
VMCAI (1)
Simon Guilloud, Sankalp Gambhir, Viktor Kuncak
2024 B conf
Mechanized HOL Reasoning in Set Theory.
ITP
Simon Guilloud, Sankalp Gambhir, Andrea Gilot, Viktor Kuncak
2024 J jnl
Mechanized HOL Reasoning in Set Theory.
CoRR
Simon Guilloud, Sankalp Gambhir, Andrea Gilot, Viktor Kuncak
2024 J jnl
Orthologic with Axioms.
Proc. ACM Program. Lang.
Simon Guilloud, Viktor Kuncak
2024 — conf
SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus.
PAAR+SC²@IJCAR
Julie Cailler, Simon Guilloud
2023 — conf
Formula Normalizations in Verification.
CAV (3)
Simon Guilloud, Mario Bucev, Dragana Milovancevic, Viktor Kuncak
2023 B conf
LISA - A Modern Proof System.
ITP
Simon Guilloud, Sankalp Gambhir, Viktor Kuncak
2023 J jnl
Orthologic with Axioms.
CoRR
Simon Guilloud, Viktor Kuncak
2022 — conf
Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time.
TACAS (2)
Simon Guilloud, Viktor Kuncak
2021 J jnl
On Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time.
CoRR
Simon Guilloud, Viktor Kuncak