Latest
Everything from every source, newest first.
Thursday, October 1
Counterexample Generation via Per-Theorem Symbolic Verifiers: When Imitation Hurts and Reinforcement Repairs
Large language models often solve a theorem forward yet fail to disprove a closely related false one: a falsification gap that supervised fine-tuning does not close and can actively worsen. We frame counterexample generation as constrained witness emission against a deterministic per-theorem Python verifier, and…
arxiv.orgAI Leads 2027 Educause Top 10
While artificial intelligence has long factored into the trends and issues within Educause's annual Top 10, the technology has officially risen to the No. 1 spot for 2027.
campustechnology.comOpen Campus adds veteran higher education journalist and news entrepreneur to its Board of Directors
Doug Lederman brings a wealth of experience at the intersection of journalism and higher education to our board. The post Open Campus adds veteran higher education journalist and news entrepreneur to its Board of Directors appeared first on Open Campus.
opencampus.orgRethinking Assessment in the Age of AI
Make learning visible. AI and Assessment MIT’s new AI report calls on higher education to rethink grading and assessment. Explore why making student thinking visible may matter more than […] The post Rethinking Assessment in the Age of AI appeared first on Hypothesis.
web.hypothes.isUser Progress - view exact interactions with quiz attempt
Can you determine whether a student has viewed a specific quiz attempt? I can see login timestamps, but they aren't granular enough to show what the student interacted with during that time. I have a faculty member trying to determine whether a student has viewed missed questions before deciding to offer a remediation…
community.d2l.comMost Academics Haven’t Used AI to Write but Think Limited Use Is OK, Chronicle Survey Finds
Higher Ed’s Path to Advanced Cybersecurity Maturity
Higher education institutions face increasing pressure to strengthen cybersecurity while maintaining agility and cost-efficiency. IT leaders must move beyond reactive defense and toward operationalized maturity — creating systems that are resilient, scalable and audit-ready. Using guidance from the National Institute…
edtechmagazine.comAssessing Open Education in Higher Education in Prison Programs
Today, Ithaka S+R released exploratory research findings on the benefits, constraints, and risks of using open education resources (OER) in higher education in prison settings. This report is intended primarily for open education practitioners and advocates interested in understanding how OER is currently used in…
sr.ithaka.org1,400 educators joined our Badge-a-thon: Day of AI Learning.
1,400 educators earned 4,000+ digital badges at the Google Badge-a-thon. Watch the on-demand sessions on YouTube and claim your first badge today.
blog.googleResistance to AI Isn't Futile. It's Healthy.
YuJa Lumina v26.7.0 Release – Automation That Does the Heavy Lifting for Relinking and Video Editing
Over the next few weeks, YuJa Lumina will be adding exciting new features, including automatic LMS relink improvements, AI-powered silence removal, enhancements to the video editing management workflow, and much more. Create a smooth... The post YuJa Lumina v26.7.0 Release – Automation That Does the Heavy Lifting for…
yuja.comWhat AIMS EduData Cohort 1 Learned About Teachers and Students
The AIMS EduData grantee cohort shared research findings at a summer convening The post What AIMS EduData Cohort 1 Learned About Teachers and Students appeared first on Digital Promise.
digitalpromise.orgAmbassador to Business
The community college that leads the nation on Workforce Pell approvals teams up with its biggest corporate neighbor to build a training alliance with local businesses. Also, two new podcast episodes on how the U.S. should prepare for AI-driven job disruption, and how public-private partnerships in Colorado are…
workshift.org14 Best AI Courses for 2026: For Beginners & Coders
New to AI and too overwhelmed to learn? These 14 courses start from zero, sorted for beginners and coders. The post 14 Best AI Courses for 2026: For Beginners & Coders appeared first on The Report by Class Central.
classcentral.comEnvelope Icon (File read indicator)
Dear Brightspace community, The envelope icon depicted in the image above shows students whether or not a lecturer has viewed/opened a submitted file. This has caused discussions between our students and their lecturers about their grades based on what files have/have not been opened. We would like to remove/disable…
community.d2l.comEllucian Student Named Best SaaS Product for Education in 2026 SaaS Awards
Agency and adaptation in human–technology configurations: A fifty-year analysis of Computers & Education
Educational-technology histories are often organized around successive tools, obscuring how action, decision-making, regulation, and adaptive work are distributed among human and technological actors. Drawing on 5,387 papers published in Computers & Education over fifty years, this study examines how Agency and…
doi.orgTopic landscapes and cross-period semantic connections in Computers & Education
For the 50th anniversary of Computers & Education, this study describes the topic landscape and cross-period semantic connections among 5,226 articles published from 1980 to 18 June 2026. Independently fitted BERTopic models for 1980–2003, 2004–2013, 2014–2019, and 2020–2026 identified 11, 15, 18, and 9 non-noise…
doi.orgHow we study what we study: A methodological review of 50 years of educational technology research
Research in educational technology has been extensively mapped in terms of what has been studied, but far less attention has been paid to how it has been studied. This paper reports a methodological review of fifty years of research in Computers & Education, covering a corpus of 5,516 articles published between 1976…
doi.orgOnline Learner Engagement and Academic Support in the Age of Generative AI
doi.orgInstructional Approaches and Content Knowledge in Teaching Computational Thinking: A Large-Scale Study
doi.orgTechnology-enhanced second language learning in Computers & Education: A 50-year review of outcomes, technical affordances, theoretical frameworks, and their connections
Technology-enhanced second language learning (TEL2L) has been rapidly expanding as a prominent research strand over the past five decades, yet systematic reviews focusing specifically on how theoretical frameworks connect technical affordances to L2 outcomes remain scarce. To address this gap, this study presents a…
doi.orgDesigning a pipeline linking professional development to AI-driven instructional practices
doi.orgDisengaged Conversational Behaviors and Learning in Student-AI Dialogues for Mathematical Problem Solving
As the conversational AI agents become integrated into digital learning environments, students’ interaction with these systems can show conversational disengagement, including mocking, misleading, or otherwise diverting the agents. Although task-based disengagement such as gaming the system and off-task actions are…
doi.orgResponse-length confounding in participant–morpheme networks: A length-controlled test in AI ethics education
Background. Equipping learners with AI-ethical literacy is a priority for higher education, yet item-level self-reports leave two observables unrecorded: the structure of lexical co-use in learners’ written responses and the polarity of their free text. Neither is a measure of learning. A further inferential hazard is…
doi.orgModeling the Relationships Between University Students’ AI Competence, AI Ethical Awareness, and AI Anxiety: A Dual-Stage PLS-SEM and ANN Analysis
AI anxiety is increasingly prevalent among university students, yet mainstream AI literacy interventions are often infeasible in resource-constrained settings. This study focuses on a law-dominant university in western China, where AI literacy education is absent. Students’ AI competence and AI ethical awareness are…
doi.orgThe Dot and the Swarm
Benefitting from the Bitter Lesson
oneusefulthing.org
Wednesday, September 30
WIP: DBWorkout: A Gamified SQL Practice Platform to Support Formative Learning in Database Courses
This research WIP paper presents DBWorkout, a web-based platform that supports formative SQL learning through sandbox-based execution, automated result-based feedback, and session-based gamification. Learning Structured Query Language (SQL) remains challenging for undergraduate students due to limited opportunities…
arxiv.orgUnderstanding Student Use of Large Language Models Across Computer Science Subfields
This research full paper examines how undergraduate students use large language models (LLMs) across computer science subfields. As LLMs become increasingly integrated into computing education, understanding how their use varies across technical and pedagogical contexts is essential for designing effective,…
arxiv.orgVirtual Global Collaboration in Data Analytics and Machine Learning Education: A Mixed-Methods Study of Asynchronous Cross-Border Teamwork
This innovative practice full paper examines a structured Virtual Global Collaboration (VGC) activity between undergraduate computing courses in the United States and Pakistan. The project was designed to support technical and intercultural skill development through asynchronous international teamwork in data…
arxiv.orgOne state bets on parents to boost preschool math skills
TAYLORSVILLE, Utah — In an elementary school classroom just outside Salt Lake City, Clarence Ames warmed up an audience of 15 parents, their young children sitting beside them. “Has anybody here ever heard or said, ‘I’m not a math person?’” asked Ames, who leads research and implementation for the Utah STEM Action…
hechingerreport.orgEmeritus, honorary, and visiting professors are an untapped resource
Roger Watson, Kenneth Eaton, and Anne-Maria Brennan argue the sector is missing by not paying attention to its emeritus, honorary and visiting professors
wonkhe.comHE data doesn’t need another taskforce, it needs good governance
Andy Youell asks why the HE data landscape is still so chaotic, and argues that what’s missing is someone actually in charge
wonkhe.comLeanSide: A Formally Verified Co-Reasoning System for Natural-language Proofs
Large language models are increasingly used as collaborators on deductive-reasoning tasks, but their outputs can hallucinate or pull users away from intended reasoning. Formal proof assistants provide machine-checked verification, but have a steep learning curve and require more granular reasoning than human written…
arxiv.orgSAT scores are up across the board for high school class of 2026
Dive Brief: The high school class of 2026 outperformed the previous year’s graduates on the SAT, according to results for the college admissions exam released Tuesday by the College Board The mean total SAT score for the class of 2026 reached 1045 — a 16-point increase from the class of 2025. Average scores increased…
highereddive.comSupporting faculty for Workforce Pell: Lessons from Scaling Shortened Academic Terms
The post Supporting faculty for Workforce Pell: Lessons from Scaling Shortened Academic Terms appeared first on Achieving the Dream.
achievingthedream.orgSome UK students want colleges to drop Turnitin
AI Leaders Warn of Security Risks at United Nations Briefing
The heads of OpenAI, Anthropic, and Hugging Face joined AI researcher Yoshua Bengio at the United Nations headquarters in New York to warn the UN Security Council about the security risks of increasingly capable AI.
campustechnology.comRedesigned Copilot Will Build Apps and Work on Its Own
Microsoft recently announced that it's redesigning Copilot, the company's all-encompassing AI assistant, so users can hand off complex tasks, build tools by describing what they need and assign work to an agent that keeps going after they log off.
campustechnology.comFinding the Right Disaster Recovery Strategy for Higher Ed
As higher education institutions prepare for unexpected events, from cyberattacks to unplanned downtime, disaster recovery is becoming a critical part of their survival. Having reliable, immutable backups is no longer just a matter of IT hygiene, it’s table stakes for operational continuity. Though colleges and…
edtechmagazine.comSupporting AI readiness in higher education
At the EDUCAUSE annual conference, Google.org announced its support of three higher education initiatives to scale ethical AI readiness, modernize institutional planning…
blog.googleCan Turnitin Detect ChatGPT? 2026 Turnitin ChatGPT Detector
Guide: How to Sign up for Coursera Courses for Free
In this guide, you’ll learn how to preview Coursera online courses without going through the checkout. The post Guide: How to Sign up for Coursera Courses for Free appeared first on The Report by Class Central.
classcentral.comBuilding the Workforce Nobody Knew They Could Join
This brief looks at how public-private partnerships are building up the systems engineering workforce in Colorado. It is the second in a series about a $90M grant program that invested in employer-led workforce partnerships across the state. The post Building the Workforce Nobody Knew They Could Join appeared first on…
workshift.orgFact-checking a film summary by having your computer watch the film
My fact-checking AI agent now can stream public domain films, make contact sheets, pair that with transcribed dialogue from the audio stream, and fact-check the film summary.
mikecaulfield.substack.comHow to Say Thank You
A moment for all of you.
aiedusimplified.substack.comWhat Happens When Student Innovation is Rooted in Empathy
A hands-on STEM project shows students the power of designing for others. The post What Happens When Student Innovation is Rooted in Empathy appeared first on Digital Promise.
digitalpromise.orgSept 26 Round-up
Despite being retired, September still has a back-to-school feel about it. After an enjoyable (but hot) summer it was good to get back to my desk again (and to wear jumpers). Things I enjoyed this month: The massive facepalm of the republicans thinking they had a gotcha moment over Jack Smith; watching The Office; Fat…
blog.edtechie.netLewis University Selects Ellucian Student to Advance Strategic Plan and Power Future Growth
Could Alpha School disrupt K–12 education?
This is the second of two posts that Thomas Arnett of the Christensen Institute and I coauthored about Alpha School.
michaelbhorn.substack.com