Human-in-the-Loop Benchmarking of Heterogeneous LLMs for Automated Competency Assessment in Secondary Level Mathematics This research addresses the challenge...
SciHorizon-DataEVA is an agentic system designed to evaluate the "AI-readiness" of scientific data.
Auto-Relational Reasoning introduces a new framework designed to bridge the gap between the massive scale of modern machine learning and the precise, logical...
FutureWorld is a research initiative designed to turn the task of predicting real-world events into a continuous learning environment for AI agents.
DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent DreamProver is an agentic framework designed to improve automated t...
Bian Que: An Agentic Framework with Flexible Skill Arrangement for Online System Operations Maintaining large-scale online engine systems—such as search, rec...
Large Reasoning Models (LRMs) are powerful, but they often struggle with complex, challenging problems.
Large Language Models (LLMs) often struggle with "compositional generalization"—the ability to combine known concepts to solve novel problems in interactive...
Benchmarking the Safety of Large Language Models for Robotic Health Attendant Control This research investigates the safety risks associated with using Large...
Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems This research investigates a long-standing assumption in ar...