InvestPhilBench: A Multi-Layer Dynamic Benchmark for Evaluating Large Language Model Procedural Reasoning in Expert Investment Philosophy Large language mode...
Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes Markov Decision Processes (MDPs) are essential for modeling systems t...
Position Spaces and Graphs introduces a new formal framework for reasoning about how discrete items, or "tokens," are organized in a two-dimensional space.
AI agents are increasingly integrated into our daily workflows, helping us manage data and interact with various APIs.
GUI agent: Guided Exploration of User-Sensitive Screens As LLM-driven agents become more autonomous in controlling graphical user interfaces (GUIs), they oft...
Agentic System as Compressor: Quantifying System Intelligence in Bits This paper introduces a new way to measure the intelligence of AI agentic systems by ap...
Autodata: An agentic data scientist to create high quality synthetic data The paper introduces Autodata, a framework that uses AI agents to act as autonomous...
WinDOM: Self-Family Distillation for Small-Model GUI Grounding Small GUI-grounding agents (around 2 billion parameters) are essential for running AI directly...
Modeling chaotic systems is a fundamental challenge in science and engineering because these systems are highly sensitive to initial conditions; even the sma...
World Models in Pieces: Structural Certification for General Agents addresses a fundamental challenge in artificial intelligence: how to verify the reliabili...