ProgRouter is an online framework designed to manage multi-agent LLM workflows by dynamically selecting the most appropriate LLM for each step of a task.
SciMIF is a benchmark designed to evaluate how well Multimodal Large Language Models (MLLMs) follow complex, domain-specific instructions in scientific field...
Automated theorem provers construct proofs by making a series of choices, such as which logical rules to apply and when to backtrack.
The Planetary Prediction Engine (PPE) is an autonomous AI system designed to streamline the creation of high-fidelity geospatial models for global challenges...
This paper addresses the quantitative analysis of Robust Markov Decision Processes (RMDPs) with $\omega$-regular objectives, specifically focusing on parity...
LivingRAG is a framework designed to improve Graph Retrieval-Augmented Generation (RAG) by allowing systems to learn from previous queries.
Trace Integrity for LLM Data Agents: A Vision for Auditable Structured Reasoning in Real-World Systems proposes a new reliability standard for LLM-based data...
AsymSpec is a framework designed to reduce the high inference costs of agentic LLMs without sacrificing the accuracy typically lost when compressing input da...
The paper "Multi-Granularity Context-Enhanced RAG over Multimodal Knowledge Graphs" introduces a framework called Context-Enhanced Multimodal Knowledge Graph...
SwarmWorld is a simulated environment designed to test whether decentralized language-model agents can self-organize into technological societies without pre...