Dominic A. Simon
YOU?
Author Swipe
View article: Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite
Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite Open
Empirical evaluation of state-of-the-art natural-language (NL) to temporal-logic (TL) translation systems reveals near-perfect performance on existing benchmarks. However, current studies measure only the accuracy of the translation of NL …
View article: PATCHOUT: Adversarial Patch Detection and Localization using Semantic Consistency
PATCHOUT: Adversarial Patch Detection and Localization using Semantic Consistency Open
Computer vision systems are actively deployed in safety-critical applications such as autonomous vehicles. Real-world adversarial patches are capable of compromising the artificial intelligence (AI) systems with catastrophic outcomes. Exis…
View article: NSP: A Neuro-Symbolic Natural Language Navigational Planner
NSP: A Neuro-Symbolic Natural Language Navigational Planner Open
Path planners that can interpret free-form natural language instructions hold promise to automate a wide range of robotics applications. These planners simplify user interactions and enable intuitive control over complex semi-autonomous sy…