Books
- Mahfuza Farooque, 2020, Discrete Mathematics for Computer Science, Great River Learning, United States
Conference Proceedings
- Muyu Pan, Dheeraj Kodakandla and Mahfuza Farooque, 2025, "Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic", IEEE, University Park, United States, pp. 1--4
- Suman Saha, Fatemeh Rahbari, Farhan Sadique, Mahfuza Farooque and William Joseph Rothwell, 2025, "Next-Gen Education: Enhancing AI for Microlearning", University Park, United States
- Farhan Sadique, Suman Saha, Mahfuza Farooque and Susan Yelich Biniecki, 2025, "Bridging the Gap: Faculty Perspectives on Microlearning Implementation in Engineering and Computing Education", University Park, United States
- Suman Saha and Mahfuza Farooque, 2025, "Enhancing Student Engagement Through Example-Based Short Videos"
- Anbi Guo and Mahfuza Farooque, 2025, "Memory-Augmented Log Analysis with Phi-4-mini: Enhancing Threat Detection in Structured Security Logs"
- Mahfuza Farooque, Matthew Walter and Aaron Falk, 2024, "NeuroDual: A Hybrid SAT Solver Combining Graph Attention Networks with Algorithmic Techniques", IEEE, Washington DC, DC, USA, United States
- Travis Scott Hughes, Bhavika Jain and Mahfuza Farooque, 2024, "Recommendation ToolAlleviating Depression and Suicidal Tendencies Through Healthier Social Media Use", International Conference on Machine Learning and Applications (ICMLA), IEEE, University Park, United States, pp. 760-765
- Mahfuza Farooque, Mahfuza Farooque and Suman Saha, 2023, "Predicting Boolean Satisfiability Using Graphical Neural Network.", ISTES Organization, University Park, United States, Volume 1, Pages 1-172
- Mahfuza Farooque, Stéphane Graham-Lengrand and Assia Mahboubi, 2013, "A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus", Association for Computing Machinery (ACM)
