Research
  1. CURB: Civic Urban Reasoning BenchmarkA benchmark for checking civic claims against official evidence, where near-identical wording can hide the one detail that flips the answer.Natural Language InferenceExplainable AILLMsSentence Transformers
  2. LaSSI: LogicAl, Structural, Semantic text InterpretationSentence similarity that can explain itself, through logic.Explainable AIMontague GrammarGraph RewritingStanford CoreNLP
  3. Limitations of Graph Query LanguagesWhere graph query languages fall short on natural language.Graph Query LanguagesGraph RewritingNeo4jSPARQL
  4. Master's dissertationComparing Learning Techniques for Multi-Agent Navigation in Procedurally Generated CitiesEvolving cars that can cross a city they've never seen.Genetic AlgorithmsNeural NetworksProcedural GenerationUnity
  5. Bachelor's dissertationLearning Navigation on Procedurally Generated Cities: A Reinforcement Learning PerspectiveTeaching a car to cross a city with reinforcement learning.Reinforcement LearningA* SearchProcedural GenerationUnity

Publications

ORCID

2026

  1. CURB: Civic Urban Reasoning BenchmarkOliver Robert Fox; Ellis SolaimanConference paper · Proceedings of the 9th International Conference on Natural Language and Speech Processing (ICNLSP-2026), ACL, pp. 38–52

2025

  1. Verified Language Processing with Hybrid ExplainabilityOliver Robert Fox; Giacomo Bergami; Graham MorganJournal article · Electronics, 14(17), 3490doi:10.3390/electronics14173490
  2. How Explainable Really Is AI? Benchmarking Explainable AIGiacomo Bergami; Oliver Robert FoxJournal article · Logics, 3(3), 9doi:10.3390/logics3030009
  3. LaSSI: Logical, Structural, and Semantic Text InterpretationOliver Robert Fox; Giacomo Bergami; Graham MorganConference paper · Database Engineered Applications (IDEAS 2024), Springer, Cham, pp. 106–121doi:10.1007/978-3-031-83472-1_8
  4. Extracting Specifications Through Verified and Explainable AI: Interpretability, Interoperability, and Trade-OffsGiacomo Bergami; Oliver Robert Fox; Graham MorganBook chapter · Explainable Artificial Intelligence for Trustworthy Decisions in Smart Applications, Springer, pp. 33–64doi:10.1007/978-3-031-97007-8_2
  5. Verified Language Processing with Hybrid Explainability: A Technical ReportOliver Robert Fox; Giacomo Bergami; Graham MorganPreprint · arXiv:2507.05017 [cs.CL]

2024

  1. Matching and Rewriting Rules in Object-Oriented DatabasesGiacomo Bergami; Oliver Robert Fox; Graham MorganJournal article · Mathematics, 12(17), 2677doi:10.3390/math12172677
  2. Generalised Graph Grammars for Natural Language ProcessingOliver Robert Fox; Giacomo BergamiPreprint · arXiv:2403.07481 [cs.DB]