Louise A. Dennis
- Formal Specification and Verification of Autonomous Robotic Systems
2019/09/13 by Matt Luckcuck, Marie Farrell, Louise A. Dennis +2 · 5 citations
- Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
2024/05/02 by Marco Valentino, Quan, Xin, Louise A. Dennis +4 · 7 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Semantic Web and Ontologies
- Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement
2024/02/01 by Xin Quan, Marco Valentino, Quan, Xin +5 · 1 voice · 5 citations
Computer Science · Social Sciences · #Computation and Language (cs.CL) #Computational and Text Analysis Methods #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling #cs.CL
- Towards Verifiably Ethical Robot Behaviour
2015/04/14 by Louise A. Dennis, Dennis, Louise A., Michael Fisher +3 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Software Testing and Debugging Techniques
- A Taxonomy of Human-Robot Teamwork Requirements
2026/07/29 by Anastasia Mavridou, Hazel M. Taylor, Sandy Lozito +3
Computer Science · #cs.SE