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 used wrap-up effects on eye movements to assess the relationship between online reading behavior and comprehension. Participants, assessed on measures of reading, vocabulary, and spelling, read short passages that manipulated whether a syntactic boundary was "unmarked" by punctuation, "weakly marked" by a comma, or…

This study examined multiple measures of written expression as predictors of narrative writing performance for 362 students in grades 4 through 6. Each student wrote a fictional narrative in response to a title prompt that was evaluated using a levels of language framework targeting productivity, accuracy, and complexity at the word, sentence, and…

The purpose of this study was to investigate whether hyphens that disambiguate phrasing in ambiguous sentences influence reading rate and reading comprehension for younger and older adults. Moreover, as working memory (WM) has been implicated in age-related changes in sentence comprehension for both auditory and written materials, we asked if it…