Alex Jackson
AI Research & Development
Recent projects All →
- A Natural Deduction Theorem Prover for Large-scale Expert Systems (treesolve)
Funded as part of ARIA's Safeguared AI workstream, a SAT-based theorem prover generating human-readable proofs.
GitHub(Paper under review)
- A Modular ASPIC+ Argumentation System (pickaxe)
A high-performance, modular, and pure-Rust implementation of the ASPIC+ framework (Modgil & Prakken, 2013).
GitHub(Paper in preparation)
- Evaluating Language Model Character Traits
An empirical, behaviourist account of the character traits exhibited by large language models.
- The Propensity for Density in Feed-forward Models
A study evaluating the sparsity of deep learning networks.
- …
Recent reviews All →
- Perfectly Executed Drama The Old Red Lion Theatre
Robert Boulton’s new dark sci-fi drama is a familiar story with sensational style.
4/5 - Overflow: An Exploration of Other Bush Theatre
Another lockdown revival at the Bush Theatre, Overflow is a play bursting with fun and with something to say — it comes highly recommended!
3/5 - Write us a new play, Hal! Young Vic
Running for just three nights at the Young Vic, this innovative performance workshop attempts to develop a play using machine and human intelligence.
4/5 - Paradise: A Tragedy National Theatre
A modern retelling of Sophocles’s Philoctetes, Kae Tempest's new play at the National Theatre delights and disappoints in equal measure.
2/5 - …
