Get started
Author

Mahfuza Farooque

A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus
2013 · Mahfuza Farooque, Stéphane Graham-Lengrand, et al. · 6
Enhancing Student Engagement Through Example-Based Short Videos
2025 · Suman Saha, Mahfuza Farooque · IEEE Frontiers in Education Conference (FIE) · 2
Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic
2025 · Muyu Pan, Dheeraj Kodakandla, et al. · International Symposium on Networks, Computers and Communications (ISNCC) · 2
PDF
Next-Gen Education: Enhancing AI for Microlearning
2025 · Suman Saha, Fatemeh Rahbari, et al. · ASEE Annual Conference & Exposition · 2
PDF
Sequent Calculi with procedure calls
2013 · Farooque, Mahfuza, Graham-Lengrand, Stéphane · arXiv (Cornell University) · 2
PDF
VeriTrans: Fine-Tuned LLM-Assisted NL→PL Translation via a Deterministic Neuro-symbolic Pipeline
2026 · Xuan Liu, Dheeraj Kodakandla, et al. · ACM International Conference on AI-Powered Software (AIware) · 1
NeuroDual: A Hybrid SAT Solver Combining Graph Attention Networks with Algorithmic Techniques
2024 · Mahfuza Farooque, Matthew Walter, et al. · International Symposium on Networks, Computers and Communications (ISNCC) · 1
Axiomatic Constraint Systems for Proof Search Modulo Theories
2015 · Damien Rouhling, Mahfuza Farooque, et al. · Lecture notes in computer science · 1
PDF
Automated Reasoning Techniques as Proof-search in Sequent Calculus
2013 · FAROOQUE, Mahfuza, LENGRAND, Stéphane · OpenGrey (Institut de l'Information Scientifique et Technique) · 1
EASY FUZZY TOOL FOR EMOTION RECOGNITION - Prototype from Voice Speech Analysis
2009 · Mahfuza Farooque, Susana Munoz Hernández · International Joint Conference on Computational Intelligence · 1
Designing Guided AI Systems to Foster Problem-Solving and Reflection in Computing Education
2026 · Mahfuza Farooque, Veer Shah, et al. · ASEE Annual Conference & Exposition
Reference-Free Schema Generation for Literature Review Tables via Multi-Faceted Rewards
2026 · Association for Computational Linguistics 2026, Farooque, Mahfuza, et al. · Underline Science Inc.
Cogniscope: A Synthetic Longitudinal Benchmark and Browser-Based Evaluation Framework for Early-Risk Cognitive AI Systems
2026 · Farooque, Mahfuza, Drishti, Ananya, et al. · arXiv (Cornell University)
PDF
A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration
2026 · Moore, Hayden, Saha, Suman, et al. · arXiv (Cornell University)
PDF
VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline
2026 · Liu, Xuan, Kodakandla, Dheeraj, et al. · arXiv (Cornell University)
PDF
Probabilistic Game Environments for Scalable Hallucination Detection in Interactive Multi-Agent LLMs
2026 · Jihan Mankani, Ssaumya Jaiswal, et al. · ScholarSphere (Penn State Libraries)
veritrans-fse-2026
2026 · Liu, Xuan, Farooque, Mahfuza, et al. · Figshare
Probabilistic Game Environments: Mitigating Hallucinations in Interactive LLM Agents
2026 · Jihan Mankani, Ssaumya Kamal Jaiswal, et al. · ScholarSphere (Penn State Libraries)
Reference-Free Schema Generation for Literature Review Tables via Multi-Faceted Rewards
2026 · Sinjoy Saha, Suman Saha, et al. · Proceedings of the conference - Association for Computational Linguistics. Meeting
PDF
Leakage-controlled evaluation of machine learning models for predicting midlife memory from survey data
2026 · Cheng-Hsi Yang, Muntasir Masum, et al. · SSRN Electronic Journal
PDF
Cogniscope: Modeling Social Media Interactions as Digital Biomarkers for Early Detection of Cognitive Decline
2025 · Drishti, Ananya, Farooque, Mahfuza · arXiv (Cornell University)
PDF
LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
2025 · Pan, Muyu, Walter, Matthew, et al. · arXiv (Cornell University)
PDF
Memory-Augmented Log Analysis with Phi-4-mini: Enhancing Threat Detection in Structured Security Logs
2025 · Anbi Guo, Mahfuza Farooque · International Conference on Machine Learning and Applications
PDF
Causally-Informed Reinforcement Learning for Adaptive Emotion-Aware SocialMedia Recommendation
2025 · Mahfuza Farooque, Bhavika Jain, et al. · ScholarSphere (Penn State Libraries)
WIP Bridging the Gap: Faculty Perspectives on Microlearning Implementation in Engineering and Computing Education
2025 · Farhan Sadique, Suman Saha, et al. · IEEE Frontiers in Education Conference (FIE)
Works count: 46
Citation count: 19
H-index: 2
I10-index:
Year
Topic
Type