SR

Simon Robillard

18
Documents
Identifiants chercheurs

Présentation

Publications

4
4
3
2
2
1
1
1
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
6
6
3
3
3
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
4
1
3
1
2
1
3
1
1
4
9
4
4
2
2
1
1

Publications

Image document

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization

Farid Arfi , Hélène Coullon , Frédéric Loulergue , Jolan Philippe , Simon Robillard
ICE 2024: 17th Interaction and Concurrency Experience, Jun 2024, Groningen, Netherlands. pp.1-18, ⟨10.4204/EPTCS.414.2⟩
Communication dans un congrès hal-04572043 v1
Image document

New Datasets for Automatic Detection of Textual Entailment and of Contradictions between Sentences in French

Maximos Skandalis , Richard Moot , Christian Retoré , Simon Robillard
LREC-COLING 2024 - Joint International Conference on Computational Linguistics, Language Resources and Evaluation, ELRA; ICCL, May 2024, Turin, Italy. pp.12173-12186
Communication dans un congrès hal-04589573 v2
Image document

DACCORD : un jeu de données pour la Détection Automatique d'énonCés COntRaDictoires en français

Maximos Skandalis , Richard Moot , Simon Robillard
CORIA-TALN 2023 - 30e Conférence sur le Traitement Automatique des Langues Naturelles, Jun 2023, Paris, France. pp.285-297
Communication dans un congrès hal-04130173 v1
Image document

SMT-Based Planning Synthesis for Distributed System Reconfigurations

Simon Robillard , Hélène Coullon
FASE 2022 : 25th International Conference on Fundamental Approaches to Software Engineering, Apr 2022, Munich, Germany. pp.268-287, ⟨10.1007/978-3-030-99429-7_15⟩
Communication dans un congrès hal-03536643 v1
Image document

Goéland: A Concurrent Tableau-Based Theorem Prover (System Description)

Julie Cailler , Johann Rosain , David Delahaye , Simon Robillard , Hinde Lilia Bouziane
IJCAR 2022 - 11th International Joint Conference on Automated Reasoning, Aug 2022, Haifa, Israel. pp.359-368, ⟨10.1007/978-3-031-10769-6_22⟩
Communication dans un congrès lirmm-03793406 v1
Image document

A Comprehensive Framework for Saturation Theorem Proving

Uwe Waldmann , Sophie Tourret , Simon Robillard , Jasmin Blanchette
IJCAR 2020 (Part I) International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.316-334, ⟨10.1007/978-3-030-51074-9_18⟩
Communication dans un congrès hal-03106208 v1
Image document

Superposition with Datatypes and Codatatypes

Jasmin Christian Blanchette , Nicolas Peltier , Simon Robillard
IJCAR 2018 - 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom
Communication dans un congrès hal-01904588 v1

Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus proches

Frédéric Loulergue , Simon Robillard , Julien Tesson , Joeffrey Legaux , Zhenjiang Hu
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2014, Paris, France
Communication dans un congrès hal-00979092 v1

Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem

Frédéric Loulergue , Simon Robillard , Julien Tesson , Joeffrey Legaux , Zhenjiang Hu
ACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea
Communication dans un congrès hal-00905950 v1

Catamorphism generation and fusion using Coq

Simon Robillard
16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania
Communication dans un congrès hal-01105119 v1

Powerlists in Coq: Programming and Reasoning

Frédéric Loulergue , Virginia Niculescu , Simon Robillard
First International Symposium on Computing and Networking (CANDAR), 2013, Fukuoka, Japan
Communication dans un congrès hal-00864818 v1
Image document

Hybrid AI with LLMs and Theorem Provers for Semantic Parsing and Natural Language Inference for French

Maximos Skandalis , Lasha Abzianidze , Richard Moot , Simon Robillard
FoMo 2025 - ELLIS Winter School on Foundation Models, Mar 2025, Amsterdam, Netherlands. , 2025
Poster de conférence hal-05002405 v1