Aditi Kabra

0000-0002-2252-0539

cs.LOcs.AIcs.CLcs.CVcs.PLcs.ROcs.SYeess.SY

On Valency

published · living versions

W_5txyfx4z·v1 · currentpublished

Timestral

with Adrien Petralia, Alexandre Gavaudan, Artjom Joosen, Etienne Goffinet +351

1 version

Preprints & journals

6 papers in the corpus · 2023–2026

Shieldstral2607.25857v2 · Antonia Calvi, Avinash Sooriyarachchi, Giada Pistilli et al.2026 · 0 citationsarXiv

Robostral Navigate2607.20785v3 · Abdelaziz Bounhar, Abhijeet Somani, Aditi Kabra et al.2026 · 0 citationsarXiv

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Games2603.00737v2 · Aditi Kabra, Jonathan Laurent, Ruben Martins et al.2026 · 0 citationsProceedings of the 26th Conference on Formal Methods in Computer-Aided Design (FMCAD 2026), pp. 707-717, TU Wien Academic Press, 2026

Can Large Language Models Autoformalize Kinematics?2509.21840v1 · Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj et al.2025 · 0 citationsProc. 25th International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 78-83, TU Wien Academic Press, 2025

Hybrid Game Control Envelope Synthesis2508.05997v1 · Aditi Kabra, Jonathan Laurent, Stefan Mitsch et al.2025 · 0 citationsProc. ACM Program. Lang. 10, OOPSLA1, Article 122, 27 pages (2026)

CESAR: Control Envelope Synthesis via Angelic Refinements2311.02833v2 · Aditi Kabra, Jonathan Laurent, Stefan Mitsch et al.2023 · 7 citationsTACAS 2024. Lecture Notes in Computer Science, vol 14570. Springer, Cham. pp. 144-164

Career total: 20 works. 6 are in this corpus.

Profile built from the corpus for this byline.

Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.