◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Jonathan Laurent

6 papers hereh-index 318 citations6 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author1
  • middle author4
  • last author1

Across the 6 of 6 papers where every author was matched, so the position is known.

fields
  • cs.PL3
  • cs.LO2
  • eess.SY1
same name
  • Jonathan Laurent — 2 papers, h 3

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20232026
most citedCESAR: Control Envelope Synthesis via Angelic Refinements

5 citations · 9 across the 5 of their papers we have counts for

collaborators
Showing 2026 · cs.LOShow all

1 paper · 2 filters

cs.LO2026

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Games

Aditi Kabra, Jonathan Laurent, Ruben Martins +2

Hybrid games model cyber-physical systems (CPS), like cars, trains, and airplanes, where discrete control decisions interact with continuous physical dynamics. We use Large Languag…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.