This exploratory study reports on characteristics of proof production and proof writing observed in the work of first-year university students who took part in workshops on the theorem prover LEAN (https://leanprover.github.io). These workshops were voluntary and offered alongside a transition to proof module in a UK university. Through…

This study explored the effects of learning activities which encouraged positive crosslinguistic influence from L2 Spanish to L1 English grammar in young learners. The learners (N = 82) were studying Spanish as their compulsory foreign language at an English state primary school in the UK. As part of ten timetabled Spanish classes over a period of…

This report sets out the findings of the technical development work completed as part of the Use Cases for Generative AI in Education project, commissioned by the Department for Education (DfE) in September 2023. It has been published alongside the User Research Report, which sets out the findings from the ongoing user engagement activity…

This paper starts by reporting on the design and trialling of an informal, low-stakes test designed to assess the knowledge of grammar terms of pre-service primary school teachers following the UK's National Curriculum, the results of which were used to inform the design of a series of optional grammar classes. The test proved surprisingly…

The place of grammar within the teaching of writing has long been contested and successive research studies have indicated no correlation between grammar teaching and writing attainment. However, a recent study has shown a significant positive impact on writing outcomes when the grammar input is intrinsically linked to the demands of the writing…

This study examined different perspectives of deaf education practitioners on deafness and reading comprehension. This involved a full deaf education support team comprising teachers of the deaf, communication support workers, and deaf instructors from a UK citywide service covering early years, primary and secondary settings. Using a focus group…