Items where Author is "Howe, J."
Article
Brain, M. & Howe, J.
ORCID: 0000-0001-8013-6941 (2025).
Canonical Forms and Widening for Two Variables Per Inequality Systems.
Mathematics in Computer Science,
Conference or Workshop Item
Iqbal, F. & Howe, J.
ORCID: 0000-0001-8013-6941 (2025).
Rule Extraction from Fake News Classifiers.
Paper presented at the International Conference on Explainable AI for Neural and Symbolic Methods, 22-24 Oct 2025, Marbella, Spain.
Wickramasinghe, S. Y., Howe, J.
ORCID: 0000-0001-8013-6941 & Daviaud, L. (2025).
Extracting deterministic finite automata from RNNs via hyperplane partitioning and learning.
Paper presented at the International Conference on Explainable AI for Neural and Symbolic Methods, 22-24 Oct 2025, Marbella, Spain.
Gàmez-Montolio, A., Florit, E., Brain, M.
ORCID: 0000-0003-4216-7151 & Howe, J.
ORCID: 0000-0001-8013-6941 (2024).
Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary Polynomials.
Paper presented at the Workshop on Binary Analysis Research, 1 Mar 2024, San Diego, USA.
doi: 10.14722/bar.2024.23014
Up a level