Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem This paper explores the capabilities and...
A Methodology for Selecting and Composing Runtime Architecture Patterns for Production LLM Agents This paper introduces a formal architectural framework for...
Probabilistic Tiny Recursive Model (PTRM) is a framework designed to improve the reasoning capabilities of Tiny Recursive Models (TRM) without requiring addi...
Neurosymbolic Learning for Inference-Time Argumentation This paper introduces Inference-Time Argumentation (ITA), a new framework designed to improve how AI...
Not Every Rubric Teaches Equally: Policy-Aware Rubric Rewards for RLVR Reinforcement learning with verifiable rewards (RLVR) is a powerful tool for training...
Probing Embodied LLMs: When Higher Observation Fidelity Hurts Problem Solving This research investigates why Large Language Models (LLMs) often struggle when...
AutoResearchClaw: Self-Reinforcing Autonomous Research with Human-AI Collaboration introduces a new framework designed to move autonomous scientific discover...
GeoX: Mastering Geospatial Reasoning Through Self-Play and Verifiable Rewards Geospatial reasoning—the ability to understand the complex spatial relationship...
HaorFloodAlert: Deseasonalized ML Ensemble for 72-Hour Flood Prediction in Bangladesh Haor Wetlands The haor wetlands of northeast Bangladesh are vast, flat...
Learning Quantifiable Visual Explanations Without Ground-Truth Modern deep learning models are often described as "black boxes" because their complex decisio...