Hints generated by LOGAX help students complete the exercises¶
Claim · All claims
Evidence · 1 study · designr2·q2
Currency · newest study 2021 · not yet checked against its sources · not reviewed by a person
Subclaims¶
Reading the evidence codes
q is the design tier, i the impact, n the sample, and the kind with its r
the rigour judged within that kind: what each code means.
This claim: no standardized effect is recorded in observations/ for it yet, so no benchmark reading is possible.
q2 i? In small-scale experiments with 18 premaster students, the hints helped students complete the exercises. → Josje Lodder 2021
Evidence¶
Josje Lodder 2021¶
Josje Lodder, Bastiaan Heeren, Johan Jeuring, Wendy Neijenhuis. (2021). Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. International Journal of Artificial Intelligence in Education 31:99-133. https://doi.org/10.1007/s40593-020-00222-2
q2 · i? · design · r2
Small-scale experiment reported in the section Small-Scale Experiments with Students: 18 premaster students received a 20-minute online instruction, practiced with LOGAX for 75 minutes, and took a 20-minute posttest with all interactions logged. The article concludes the hints help students complete the exercises; no effect size is printed in the available text.
"The hints help students to complete the exercises."
Discussion¶
Related Claims¶
- Students struggle with constructing axiomatic proofs substantially more than with semantic tableaux in the same logic course — related
- Dynamically generated proof graphs let LOGAX recognize all correct student solutions and give hints on them — related
- Unsolicited hints and meta-hints raised first-attempt correctness by d=0.682 and problem completion by d=0.727 — a broader claim this one bears on
- Proofs generated by LOGAX are comparable to expert proofs — related
Page metadata
| Field | Value |
|---|---|
type |
claim |
id |
logax-hints-help-complete-exercises |
title |
Hints generated by LOGAX help students complete the exercises |
description |
Hints generated by LOGAX help students complete the exercises |
status |
review |
evidence_strength |
weak |
newest_evidence |
2021 |
generated |
by process:wiki-ingest on 2026-10-27 |
trust |
unverified — no one has confirmed this page's content |
sources |
1 — josje-lodder-2021 |
Frontmatter is the page's machine-readable record — see the Schema & Guide.