FormalAnalyticGeo is a new framework designed to solve the scarcity of high-quality, annotated data for analytic geometry—a field that combines algebraic equ...
Knowledge- and Gradient-Guided Reinforcement Learning for Parametrized Action Markov Decision Processes This paper introduces a new approach to Reinforcement...
Clinical notes are a goldmine of patient information, but much of this data remains trapped in unstructured text rather than being recorded in standardized f...
Audio-Native Speech Recognition with a Frozen Discrete-Diffusion Language Model This paper explores a new way to transcribe speech by moving away from tradit...
Dynamic Resource Allocation for Ensemble Determinization MCTS explores ways to improve how artificial intelligence plays games that involve hidden informatio...
Do AI Agents Know When a Task Is Simple? Toward Complexity-Aware Reasoning and Execution addresses a common inefficiency in modern AI agents: the tendency to...
This paper addresses a long-standing challenge in logic and philosophy known as Hempel’s statistical ambiguity problem.
Resist and Update: Counterfactual Report Coordinates for Incentive-Compatible LLMs This paper addresses a fundamental problem in AI alignment: language model...
MemOps: Benchmarking Lifecycle Memory Operations in Long-Horizon Conversations introduces a new way to evaluate how AI agents manage information over long pe...
Win by Silence: Deletion Non-Monotonicity, Autonomous Exploitation, and Typed-State Gating in LLM Plan Evaluation This paper investigates a critical vulnerab...