Jean-Rapha\"el Gaglione

Identifiers

• name variant Jean-Rapha\"el Gaglione 0.60 · backfill

Papers (7)

1. Specification-Driven Video Search via Foundation Models and Formal Verification cs.CV · 2023 · author #2
2. Reinforcement Learning with Temporal-Logic-Based Causal Diagrams cs.AI · 2023 · author #3
3. Automaton-Based Representations of Task Knowledge from Generative Language Models cs.FL · 2022 · author #2
4. Learning Temporal Logic Properties: an Overview of Two Recent Methods cs.LO · 2022 · author #1
5. Learning Interpretable Temporal Properties from Positive Examples Only cs.LO · 2022 · author #2
6. Uncertainty-Aware Signal Temporal Logic Inference cs.AI · 2021 · author #2
7. Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach cs.LG · 2021 · author #1

Mentions

• 2309.10171 #2 · arxiv_oai · confidence 0.70 Jean-Rapha\"el Gaglione
• 2212.01944 #2 · arxiv_oai · confidence 0.70 Jean-Rapha\"el Gaglione
• 2306.13732 #3 · arxiv_oai · confidence 0.70 Jean-Rapha\"el Gaglione
• 2209.02650 #2 · arxiv_oai · confidence 0.70 Jean-Rapha\"el Gaglione
• 2212.00916 #1 · arxiv_oai · confidence 0.70 Jean-Rapha\"el Gaglione
• 2104.15083 #1 · arxiv_oai · confidence 0.70 Jean-Rapha\"el Gaglione
• 2105.11545 #2 · arxiv_oai · confidence 0.70 Jean-Rapha\"el Gaglione

Frequent Coauthors

• Ufuk Topcu 7 shared papers
• Daniel Neider 5 shared papers
• Zhe Xu 5 shared papers
• Nasim Baharisangari 4 shared papers
• Rajarshi Roy 4 shared papers
• Yunhao Yang 2 shared papers
• Cyrus Neary 1 shared papers
• Sandeep Chinchali 1 shared papers
• Xiaoming Duan 1 shared papers
• Yash Paliwal 1 shared papers