Mahfuza Farooque

According to our database, Mahfuza Farooque authored at least 19 papers between 2009 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Cogniscope: A Synthetic Longitudinal Benchmark and Browser-Based Evaluation Framework for Early-Risk Cognitive AI Systems.

Mahfuza Farooque, Ananya Drishti, Mukhil Muruganantham Prakaash, Uttkarsh Agarwal, Zahra Abdul Basit, Asish Kondragunta

CoRR, May, 2026

A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration.

Hayden Moore, Suman Saha, Mahfuza Farooque

CoRR, May, 2026

VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline.

Xuan Liu, Dheeraj Kodakandla, Kushagra Srivastva, Mahfuza Farooque

CoRR, April, 2026

2025

Cogniscope: Modeling Social Media Interactions as Digital Biomarkers for Early Detection of Cognitive Decline.

Ananya Drishti, Mahfuza Farooque

CoRR, December, 2025

LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving.

Muyu Pan, Matthew Walter, Dheeraj Kodakandla, Mahfuza Farooque

CoRR, December, 2025

Causally-Informed Reinforcement Learning for Adaptive Emotion-Aware Social Media Recommendation.

Bhavika Jain, Robert Pitsko, Ananya Drishti, Mahfuza Farooque

CoRR, November, 2025

Next-Gen Education: Enhancing AI for Microlearning.

Suman Saha, Fatemeh Rahbari, Farhan Sadique, Sri Krishna Chaitanya Velamakanni, Mahfuza Farooque, William J. Rothwell

CoRR, August, 2025

Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic.

Muyu Pan, Dheeraj Kodakandla, Mahfuza Farooque

Proceedings of the International Symposium on Networks, Computers and Communications, 2025

Memory-Augmented Log Analysis with Phi-4-mini: Enhancing Threat Detection in Structured Security Logs.

Anbi Guo, Mahfuza Farooque

Proceedings of the International Conference on Machine Learning and Applications, 2025

2024

NeuroDual: A Hybrid SAT Solver Combining Graph Attention Networks with Algorithmic Techniques.

Mahfuza Farooque, Matthew Walter, Aaron Falk

Proceedings of the International Symposium on Networks, Computers and Communications, 2024

Recommendation Tool for Alleviating Depression and Suicidal Tendencies Through Healthier Social Media Use.

Travis Scott Hughes, Bhavika Jain, Mahfuza Farooque

Proceedings of the International Conference on Machine Learning and Applications, 2024

2015

Axiomatic Constraint Systems for Proof Search Modulo Theories.

Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014

Axiomatisation of constraint systems to specify a tableaux calculus modulo theories.

Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin

CoRR, 2014

2013

Automated Reasoning Techniques as Proof-search in Sequent Calculus. (Techniques de déduction automatique vues comme recherche de preuve en calcul des séquents).

Mahfuza Farooque

PhD thesis, 2013

Sequent Calculi with procedure calls

Mahfuza Farooque, Stéphane Graham-Lengrand

CoRR, 2013

A bisimulation between DPLL(<i>T</i>) and a proof-search strategy for the focused sequent calculus.

Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi

Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, 2013

2012

Two simulations about DPLL(T)

Mahfuza Farooque, Stéphane Lengrand, Assia Mahboubi

CoRR, 2012

A sequent calculus with procedure calls

Mahfuza Farooque, Stéphane Lengrand

CoRR, 2012

2009

Easy Fuzzy Tool for Emotion Recognition - Prototype from Voice Speech Analysis.

Mahfuza Farooque, Susana Muñoz-Hernández

Proceedings of the IJCCI 2009, 2009