Mahfuza Farooque

18 papers C 5Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Causally-Informed Reinforcement Learning for Adaptive Emotion-Aware Social Media Recommendation.
CoRR
Bhavika Jain, Robert Pitsko, Ananya Drishti, Mahfuza Farooque
2025 J jnl
Cogniscope: Modeling Social Media Interactions as Digital Biomarkers for Early Detection of Cognitive Decline.
CoRR
Ananya Drishti, Mahfuza Farooque
2025 C conf
Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic.
ISNCC
Muyu Pan, Dheeraj Kodakandla, Mahfuza Farooque
2025 J jnl
Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic.
CoRR
Muyu Pan, Dheeraj Kodakandla, Mahfuza Farooque
2025 J jnl
LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving.
CoRR
Muyu Pan, Matthew Walter, Dheeraj Kodakandla, Mahfuza Farooque
2025 C conf
Memory-Augmented Log Analysis with Phi-4-mini: Enhancing Threat Detection in Structured Security Logs.
ICMLA
Anbi Guo, Mahfuza Farooque
2025 J jnl
Memory-Augmented Log Analysis with Phi-4-mini: Enhancing Threat Detection in Structured Security Logs.
CoRR
Anbi Guo, Mahfuza Farooque
2025 J jnl
Next-Gen Education: Enhancing AI for Microlearning.
CoRR
Suman Saha, Fatemeh Rahbari, Farhan Sadique, Sri Krishna Chaitanya Velamakanni, Mahfuza Farooque, William J. Rothwell
2024 C conf
NeuroDual: A Hybrid SAT Solver Combining Graph Attention Networks with Algorithmic Techniques.
ISNCC
Mahfuza Farooque, Matthew Walter, Aaron Falk
2024 C conf
Recommendation Tool for Alleviating Depression and Suicidal Tendencies Through Healthier Social Media Use.
ICMLA
Travis Scott Hughes, Bhavika Jain, Mahfuza Farooque
2015 — conf
Axiomatic Constraint Systems for Proof Search Modulo Theories.
FroCos
Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin
2014 J jnl
Axiomatisation of constraint systems to specify a tableaux calculus modulo theories.
CoRR
Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin
2013 — conf
A bisimulation between DPLL(
LFMTP
Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi
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
2013 J jnl
Sequent Calculi with procedure calls
CoRR
Mahfuza Farooque, Stéphane Graham-Lengrand
2012 J jnl
A sequent calculus with procedure calls
CoRR
Mahfuza Farooque, Stéphane Lengrand
2012 J jnl
Two simulations about DPLL(T)
CoRR
Mahfuza Farooque, Stéphane Lengrand, Assia Mahboubi
2009 C conf
Easy Fuzzy Tool for Emotion Recognition - Prototype from Voice Speech Analysis.
IJCCI
Mahfuza Farooque, Susana Muñoz-Hernández