  We describe two systems currently being developed that use large language
models for the automatized correction of (i) exercises in translating back and
forth between natural language and the languages of propositional logic and
first-order predicate logic and (ii) exercises in writing simple arguments in
natural language in non-mathematical scenarios.
