most citedFine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic

2 citations · 2 across the 4 of their papers we have counts for

collaborators

6 papers

cs.HC2025

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

Ananya Drishti, Mahfuza Farooque

Alzheimer's disease (AD) and its prodromal stage, Mild Cognitive Impairment (MCI), are associated with subtle declines in memory, attention, and language that often go undetected u…

cs.CL2025

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

Muyu Pan, Matthew Walter, Dheeraj Kodakandla +1

Our work presents a novel reinforcement learning (RL) based framework to optimize heuristic selection within the conflict-driven clause learning (CDCL) process, improving the effic…

cs.CL20252 cited

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

Muyu Pan, Dheeraj Kodakandla, Mahfuza Farooque

Recent advances in natural language processing (NLP), particularly large language models (LLMs), have motivated the automatic translation of natural language statements into formal…

cs.IR2025

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

Bhavika Jain, Robert Pitsko, Ananya Drishti +1

Social media recommendation systems play a central role in shaping users' emotional experiences. However, most systems are optimized solely for engagement metrics, such as click ra…

cs.CR2025

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

Anbi Guo, Mahfuza Farooque

Structured security logs are critical for detecting advanced persistent threats (APTs). Large language models (LLMs) struggle in this domain due to limited context and domain misma…

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…