Nicola Saccomanno
3 papers
· 2024–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌈
Renaissance Researcher
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
❓
The Questioner
Conferences
AAAI (2)
IJCAI (1)
Keywords
benchmark evaluation
(1)
logical reasoning
(1)
semantic parsing
(1)
semantic analysis
(1)
formal verification
(1)
machine learning
(1)
first-order logic
(1)
natural language
(1)
temporal logic
(1)
runtime verification
(1)
deterministic finite automaton
(1)
genetic programming
(1)
runtime monitoring
(1)
signal temporal logic
(1)
natural language translation
(1)
monitor synthesis
(1)
trace checking
(1)
logical understanding
(1)
semantic-level understanding
(1)
sentence-level logic
(1)