2 citations · 5 across the 12 of their papers we have counts for
3 papers · 1 filter
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…