Luca Geatti
7 papers · 2022–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Cross-Pollinator (11) π§ Keyword Pioneer π Conference Polyglot (2) π Renaissance Researcher (6) π Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(12)
π₯
Unstoppable
(5)
β
The Questioner
Conferences
AAAI (5)
IJCAI (2)
Top co-authors
Keywords
formal verification
(4)
temporal logic
(3)
linear temporal logic
(3)
first-order logic
(2)
computational complexity
(1)
machine learning
(1)
complexity analysis
(1)
natural language
(1)
model checking
(1)
runtime verification
(1)
automata theory
(1)
symbolic algorithm
(1)
finite trace
(1)
deterministic finite automaton
(1)
reactive synthesis
(1)
genetic programming
(1)
controller synthesis
(1)
regular language
(1)
runtime monitoring
(1)
symbolic model
(1)
Papers
Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy
AAAI 2026
Automata-less Monitoring via Trace-Checking
AAAI 2026
First-Order Automata
AAAI 2025
Foundations of Reactive Synthesis for Declarative Process Specifications
AAAI 2024
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring
IJCAI 2024
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
AAAI 2023
Linear Temporal Logic Modulo Theories over Finite Traces
IJCAI 2022