2 citations · 5 across the 12 of their papers we have counts for
13 papers
Cogniscope: A Synthetic Longitudinal Benchmark and Browser-Based Evaluation Framework for Early-Risk Cognitive AI Systems
Mahfuza Farooque, Ananya Drishti, Mukhil Muruganantham Prakaash +3
We present Cogniscope, an open evaluation framework for studying longitudinal early-risk AI systems under controlled behavioral drift, sparse observations, delayed evidence, and he…
A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration
Hayden Moore, Suman Saha, Mahfuza Farooque
Future planetary exploration envisions autonomous robotic agents operating under severe communication constraints, without global positioning, and with minimal human intervention.…
VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline
Xuan Liu, Dheeraj Kodakandla, Kushagra Srivastva +1
\textbf{VeriTrans} is a reliability-first ML system that compiles natural-language requirements into solver-ready logic with validator-gated reliability. The pipeline integrates an…
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…
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…
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…
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…
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…
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…
Axiomatic constraint systems for proof search modulo theories
Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand +2
Goal-directed proof search in first-order logic uses meta-variables to delay the choice of witnesses; substitutions for such variables are produced when closing proof-tree branches…
Sequent Calculi with procedure calls
Mahfuza Farooque, Stéphane Graham-Lengrand
In this paper, we introduce two focussed sequent calculi, LKp(T) and LK+(T), that are based on Miller-Liang's LKF system for polarised classical logic. The novelty is that those se…
Two simulations about DPLL(T)
Mahfuza Farooque, Stéphane Lengrand, Assia Mahboubi
In this paper we relate different formulations of the DPLL(T) procedure. The first formulation is based on a system of rewrite rules, which we denote DPLL(T). The second formulatio…
A sequent calculus with procedure calls
Mahfuza Farooque, Stéphane Lengrand
In this paper, we extend the sequent calculus LKF into a calculus LK(T), allowing calls to a decision procedure. We prove cut-elimination of LK(T).