Evidence, explanations and what changed at Ackren

Our latest research notes follow the path from a taught statement to an answer. The local prototype supplies a concrete example with visible evidence, while the earlier evaluation shows why repeatability and correct meaning need separate tests. Both articles keep the limits of their evidence alongside the result.

Read the prototype update · Read the evaluation analysis

Sources: Recorded Ackren evaluation: counts, scope and source hashes · Recorded prototype example and development checks

We review a recent approach to challenging visual explanations, alongside work on textual reasoning and language-to-planning translation. The articles distinguish the researchers’ results from our proposed applications to Ackren.

Read the explanation review · Read the verification analysis

Sources: Ding and colleagues, EDCT-Bench, preprint, 16 September 2026 · Pham, Le and Luu, GRACE, preprint, 15 June 2026 · Jiang and colleagues, Language Models as Higher-Order Planning Formalizers, revised 4 July 2026

Our editorial priority is independent evidence: unfamiliar language supplied after the candidate is frozen, complete examples including failures, and human assessment of the interpretation and explanation. These are proposed next steps. This edition reports engineering progress and research questions, not a general-conversation breakthrough.

This is the web edition. Future editions can be followed through the RSS feed.

Sources: Recorded Ackren evaluation: counts, scope and source hashes · Recorded prototype example and development checks