From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions. - Ali Alfageeh; Sadegh AlMahdi Kazemi Zarkouei; Daye Nam; Daniel Prol; Matin Amoozadeh; Souti Chattopadhyay; James Prather; Paul Denny 001; Juho Leinonen 001; Michael Hilton; Sruti Srinivasa Ragavan; Mohammad Amin Alipour (CoRR, 2025)

Capturing the Effects of Quantization on Trojans in Code LLMs. - Aftab Hussain 001; Sadegh AlMahdi Kazemi Zarkouei; Md. Rafiqul Islam Rabin; Mohammad Amin Alipour; Sen Lin; Bowen Xu (CoRR, 2025)