3 papers
cs.CL2026
A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration
Hayden Moore, Suman Saha, Mahfuza Farooque
Future planetary exploration envisions autonomous robotic agents operating under severe communication constraints, without global positioning, and with minimal human intervention.…
cs.PL2025
DeliverC: Teaching Pointers through GenAI-Powered Game-Based Learning
Wyatt Petula, Anushcka Joshi, Peggy Tu +2
While game-based learning is widely used in programming education, few tools offer adaptive, real-time support for complex topics, such as C pointers. We present DeliverC, a GenAI-…
cs.CY2025
Next-Gen Education: Enhancing AI for Microlearning
Suman Saha, Fatemeh Rahbari, Farhan Sadique +3
This paper explores integrating microlearning strategies into university curricula, particularly in computer science education, to counteract the decline in class attendance and en…