publié le: 2023
My encounter with research on AI in education has been mostly through teaching an MA course in Education and Technology. Over the last 4 years or so,...
Recently the Times Higher Education launched a series of 'Spotlight' articles and think pieces on AI and the University, claiming 'artificial intellig...
We propose a new calculus SCL(EQ) for first-order logic with equality that only learns non-redundant clauses. Following the idea of CDCL (Conflict Dri...
We introduce renaming-enriched sets (rensets for short), which are algebraic structures axiomatizing fundamental properties of renaming (also known as...
We discuss the theory of Lie algebras in Lean’s Mathlib library. Using nilpotency as the theme, we outline a computer formalisation of Engel’s theorem...