Publication Date
| In 2025 | 3 |
Descriptor
Author
| Dandan Liu | 1 |
| Gila Hanna | 1 |
| Guangrui Fan | 1 |
| Jeroen K. Vermunt | 1 |
| Kim De Roover | 1 |
| Leonie V. D. E. Vogelsmeier | 1 |
| Lihu Pan | 1 |
| Manuel T. Rein | 1 |
| Rui Zhang | 1 |
| Xiaoheng Yan | 1 |
Publication Type
| Journal Articles | 3 |
| Reports - Research | 2 |
| Reports - Descriptive | 1 |
Education Level
| Higher Education | 1 |
| Postsecondary Education | 1 |
Audience
| Teachers | 1 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkXiaoheng Yan; Gila Hanna – International Journal of Mathematical Education in Science and Technology, 2025
As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…
Descriptors: Mathematics Instruction, Undergraduate Students, Mathematical Logic, Validity
Manuel T. Rein; Jeroen K. Vermunt; Kim De Roover; Leonie V. D. E. Vogelsmeier – Structural Equation Modeling: A Multidisciplinary Journal, 2025
Researchers often study dynamic processes of latent variables in everyday life, such as the interplay of positive and negative affect over time. An intuitive approach is to first estimate the measurement model of the latent variables, then compute factor scores, and finally use these factor scores as observed scores in vector autoregressive…
Descriptors: Measurement Techniques, Factor Analysis, Scores, Validity
Guangrui Fan; Dandan Liu; Rui Zhang; Lihu Pan – International Journal of STEM Education, 2025
Purpose: This study investigates the impact of AI-assisted pair programming on undergraduate students' intrinsic motivation, programming anxiety, and performance, relative to both human-human pair programming and individual programming approaches. Methods: A quasi-experimental design was conducted over two academic years (2023-2024) with 234…
Descriptors: Artificial Intelligence, Computer Software, Technology Uses in Education, Programming
