cs.CY · 2026-09-16 · No. 115

Computers and Society, 2026-09-16.

1 new papers in cs.CY. Titles, authors, abstracts. Links to arXiv. Want this in your inbox every morning? Subscribe →

01 — The papers

1 entries
  1. 01

    Finding Common Mistakes In Modelling With Mathematical Formalisms Using LLMs

    Lilian Killich, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume

    cs.CY · cs.AI · cs.LO

    Modelling with mathematical formalisms like logical formulas, mathematical equations, or regular expressions is an important yet challenging task for students of computer science and other STEM disciplines. Identifying common mistakes occurring in this context is an important step towards helping struggling students by providing targeted high-quality feedback, e.g. in interactive learning systems. We present a tool-supported workflow that...

    arxiv.org/abs/2609.17111 · PDF

This edition is part of The Daily Abstract — cs.CY archive. Subscribe to receive these in your inbox each morning, automatically translated to Spanish, with reply-to-PDF: arxivdaily.ignorelist.com.

Colophon Set in Georgia, with system sans for interface chrome and a monospaced stack for code and paper identifiers. Sole accent: amber #D99C5E. Built and served on an always-free VM. The masthead is set 14% letterspaced because newspapers do that and it works.