SR

Simon Robillard

20
Documents
Identifiants chercheurs

Présentation

Publications

6
4
3
2
2
1
1
1
2
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
1
1
6
6
4
4
3
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
3
3
2
3
1
2
1
3
1
1
4
11
5
4
2
2
1
1

Publications

Deposit thumbnail

Verified Path Indexing

Mohamed Chaabani , Simon Robillard

CADE 30 - 30th International Conference on Automated Deduction, Jul 2025, Stuttgart, Germany. In press

Communication dans un congrès lirmm-05239240v1
Deposit thumbnail

Neurosymbolic AI for Natural Language Inference in French : combining LLMs and theorem provers for semantic parsing and natural language reasoning

Maximos Skandalis , Lasha Abzianidze , Richard Moot , Christian Retoré , Simon Robillard

16th International Conference on Computational Semantics (IWCS 2025), Heinrich Heine University (HHU) Düsseldorf; ACL Special Interest Group on Computational Semantics (SIGSEM), Sep 2025, Düsseldorf, Germany. pp.242-253

Communication dans un congrès hal-05350875v1
Deposit thumbnail

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-04572043v1
Deposit thumbnail

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-04589573v2
Deposit thumbnail

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-04130173v1
Deposit thumbnail

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-03793406v1
Deposit thumbnail

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-03536643v1
Deposit thumbnail

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-03106208v1
Deposit thumbnail

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-01904588v1

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-01105119v1

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-00979092v1

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-00905950v1

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-00864818v1
Deposit thumbnail

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-05002405v1