AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we ...

A marriage of formal methods and LLMs seeks to harness the strengths of both.

Abstract: This technical note proposes a procedure to control an uncertain discrete-time networked system using an aperiodic stabilizing input information. The system is primarily affected by the time ...

Abstract: One of the most important aspects of achieving meaningful learning is student motivation. In this sense, gamification techniques have been very effective in the teaching and learning process ...

Students with learning disabilities in mathematics have a right to high-quality mathematics experiences in inclusive classrooms when it is the least restrictive environment (NCTM & Council for ...