Search: “tools”

Calibrated Stackelberg Games: Learning Optimal Commitments Against Calibrated Agents

arXiv:2306.02704v2 Announce Type: replace-cross Abstract: We introduce Calibrated Stackelberg Games (CSGs), a generalization of the standard Stackelberg Games (SGs) framework. In CSGs, a principal rep

agentsarxiv-cs-lg

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Research

Deep Learning Method for Stationary Distribution of Reflected Brownian Motion

DGX agent

arXiv:2607.08091v1 Announce Type: cross Abstract: The stationary distribution of reflected Brownian motion (RBM) plays an important role in the analysis of high-dimensional stochastic systems, yet clo

researcharxiv-cs-ai

10 Jul 2026

DeepPySR -- A Symbolic Regression Framework with Dynamic Pruning, Pareto Selection, and Hierarchical Composition for Real-World Scientific Discovery

arXiv:2607.08150v1 Announce Type: new Abstract: Symbolic regression (SR) discovers analytical equations from data, yielding glass-box models with directly interpretable formulas, unlike black-box meth

DexVerse: A Modular Benchmark for Multi-Task, Multi-Embodiment Dexterous Manipulation

model-releasesarxiv-cs-ro

arXiv:2607.08751v1 Announce Type: new Abstract: Building general-purpose dexterous manipulation policies requires benchmarks that go beyond isolated tasks to systematically evaluate policies across di

DrugGen 2: A disease-aware language model for enhancing drug discovery

arXiv:2607.08404v1 Announce Type: cross Abstract: Current computational approaches for drug design typically focus on generating molecules conditioned on specific targets or general molecular properti

Eigenvalue Calibration for Semantic Embeddings of Large Language Models

arXiv:2607.08377v1 Announce Type: new Abstract: Uncertainty quantification is central to the reliable deployment of large language models (LLMs), and eigenvalues of semantic embeddings have recently e

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier

arXiv:2607.07779v1 Announce Type: cross Abstract: Recent developments in AI for Mathematics (AI4Math), especially Large Language Model (LLM)-driven theorem provers, has achieved remarkable success in

researcharxiv-cs-ai

GERD: Geometric event response data generation

arXiv:2412.03259v3 Announce Type: replace Abstract: Event-based vision sensors offer high temporal resolution, high dynamic range, and low power consumption, yet event-based vision models lag behind c

applicationsarxiv-cs-cv

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation

model-releasesarxiv-cs-cl

arXiv:2509.26076v2 Announce Type: replace Abstract: As the mathematical capabilities of large language models (LLMs) improve, it becomes increasingly important to evaluate their performance on researc

Jet-Long: Efficient Long-Context Extension with Dynamic Bifocal RoPE

arXiv:2607.07740v1 Announce Type: cross Abstract: Modern LLMs are increasingly deployed in long-context applications such as retrieval-augmented generation, repository-level coding, and agentic workfl

Leveraging Color Naming for Image Enhancement

arXiv:2607.08185v1 Announce Type: cross Abstract: Enhancing images to make them visually appealing is a persistent challenge in computer vision. Many deep-learning methods train models on paired datas

researcharxiv-cs-ai

LiteOdyssey: A Lightweight Reasoning AI Agent for Interpretable Rare-Disease Diagnosis

arXiv:2606.16149v2 Announce Type: replace Abstract: Rare disease diagnosis involves interpreting clinical and genetic findings through complex diagnostic reasoning. We investigated whether this reason

RetailBench: Evaluating Long-Horizon Autonomous Decision-Making and Strategy Stability of LLM Agents in Realistic Retail Environments

arXiv:2603.16453v3 Announce Type: replace Abstract: Large language model (LLM) agents have made rapid progress on short-horizon, well-scoped tasks, yet their ability to sustain coherent decisions in d

Local Ai

SPL: Orchestrating Workflows with Declarative Deterministic-Probabilistic Composition

arXiv:2607.07727v1 Announce Type: cross Abstract: We present SPL (Structured Prompt Language), a declarative language that composes deterministic and probabilistic computation modes in a single specif

local-aiarxiv-cs-cl

Tutorials

Switch-Reasoner: Learn When to Think in Multitask Mixtures via Reinforcement Learning

arXiv:2607.08572v1 Announce Type: new Abstract: Multimodal Large Language Models (MLLMs) often follow a fixed Think-then-Answer paradigm, which is inefficient in heterogeneous multitask settings becau

tutorialsarxiv-cs-cv

TNODEV: Toolbox for Neural ODE Verification

arXiv:2606.16567v2 Announce Type: replace Abstract: Neural ordinary differential equations (neural ODE) gained attention in safety critical settings such as continuous-time controllers for cyber-physi

TOPO-Bench: An Open-Source Topological Mapping Evaluation Framework with Quantifiable Perceptual Aliasing

arXiv:2510.04100v2 Announce Type: replace-cross Abstract: Topological mapping offers a compact and robust representation for navigation, but progress in the field is hindered by the lack of standardiz

Local Ai

TRACE: A Two-Channel Robust Attribution Watermark via Complementary Embeddings for LLM-Agent Trajectories

arXiv:2607.08400v1 Announce Type: cross Abstract: LLM agents reach users through resellers, who may rebrand a developer's agent or substitute a cheaper model. When provenance is disputed, attribution

local-aiarxiv-cs-ai

UniClawBench: A Universal Benchmark for Proactive Agents on Real-World Tasks

model-releasesarxiv-cs-cl

arXiv:2607.08768v1 Announce Type: new Abstract: The rapid development of large language models and multimodal large language models has accelerated the emergence of proactive agents capable of operati

Local Ai

WebSwarm: Recursive Multi-Agent Orchestration for Deep-and-Wide Web Search

arXiv:2607.08662v1 Announce Type: cross Abstract: Large language model (LLM)-based web search agents are transforming information seeking from simple factoid question answering into complex, deep-and-

local-aiarxiv-cs-ai

What LLM Forecasters Know but Don't Say: Probing Internal Representations for Calibration and Faithfulness

arXiv:2607.08046v1 Announce Type: cross Abstract: Large language models fine-tuned for forecasting can be accurate yet poorly calibrated, and their chain-of-thought (CoT) reasoning may not faithfully

researcharxiv-cs-ai

A Closed-Loop Multi-Agent Framework for Robust Multi-Robot Manipulation

arXiv:2607.06990v1 Announce Type: new Abstract: Multi-robot systems provide the parallelism and redundancy necessary for long-horizon tasks, while Large Language Models (LLMs) offer the reasoning capa

agentsarxiv-cs-ro

Agent-Exploitation Affordances: From Basic to Complex Representation Patterns

arXiv:2607.07475v1 Announce Type: new Abstract: In robotics, the capability of an artificial agent to represent the range of its action possibilities, i.e. affordances, is crucial to understand how it

agentsarxiv-cs-ro

AgentLens: Production-Assessed Trajectory Reviews for Coding Agent Evaluation

arXiv:2607.06624v1 Announce Type: new Abstract: We present AgentLens, a production-assessed benchmark for interactive code agents. Most code-agent benchmarks reduce a run to a single bit -- did the ta

AI Chatbot Suicide Risk Detection and Response: Human Validation Study of the Open-Source VERA-MH Safety Evaluation

arXiv:2602.05088v4 Announce Type: replace Abstract: Millions of people now use generative AI chatbots for psychological support. Despite their promise, the most pressing question in AI for mental heal

Compass: Prostate Cancer Detection Needs Multi-View Context

arXiv:2607.06919v1 Announce Type: new Abstract: Artificial intelligence (AI) analysis of micro-ultrasound (muUS) has shown promise for prostate cancer (PCa) detection. However, most existing AI method

researcharxiv-cs-cv

ContestTrade: A Multi-Agent Trading System Based on Internal Contest Mechanism

arXiv:2508.00554v4 Announce Type: replace-cross Abstract: In financial trading, large language model (LLM)-based agents demonstrate significant potential, but their decisions can be sensitive to noisy

agentsarxiv-cs-cl

Cost-Effective Agent Harnesses for Abstract Reasoning and Generalization on ARC-AGI-1

arXiv:2607.06764v1 Announce Type: new Abstract: Recent progress on ARC-AGI-1 from disclosed architectures has come broadly from two regimes: heavy test-time compute over frontier models (evolutionary

Deployment Risk Assessment Using Diff-Aware Features: A Case Study at Prime Video

arXiv:2607.06766v1 Announce Type: cross Abstract: At Amazon Prime Video, we face the critical operational challenge of managing code deployments during live events and rapid feature releases without c

End-to-End LLM Flight Planning with RAG-based Memory and Multi-modal Coach Agent

arXiv:2607.06964v1 Announce Type: cross Abstract: Bridging the gap between human pilot intent and autonomous flight operation is critical for real-world electric vertical takeoff and landing (eVTOL) a

agentsarxiv-cs-ai

Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics

arXiv:2607.06820v1 Announce Type: new Abstract: Recent advances in AI for Mathematics have focused largely on autoformalization and theorem proving, leaving the role of Computer Algebra Systems (CAS)

Fast determinantal sampling on general spaces and diffusion geometry

arXiv:2607.06644v1 Announce Type: cross Abstract: Determinantal point processes have recently emerged as a kernel-based alternative to standard independent sampling for constructing efficient minibatc

researcharxiv-cs-lg

Fast segmentation of watermarked texts from large language models through an epidemic change-point framework

model-releasesarxiv-cs-lg

arXiv:2509.21160v2 Announce Type: replace-cross Abstract: With the growing use of large language models, concerns over content authenticity have spurred a variety of watermarking schemes. These scheme

Fingerprint, Not Blueprint: How Positional Schemes Set the Default Spectral Algebra of Attention

arXiv:2607.06621v1 Announce Type: new Abstract: The pre-softmax score of an attention head is a bilinear form score(i,j) = x_i^T M x_j in a learned operator M = W_q^T W_k. Because M is generally non-s

researcharxiv-cs-lg

From Jumps to Signatures: a Generative Method for Temporal Point Processes

arXiv:2607.06652v1 Announce Type: new Abstract: Rough path signatures are a universal feature map for continuous paths and, via the expected signature, characterise path distributions. These guarantee

Future Confidence Distillation in Large Language Models

arXiv:2607.07626v1 Announce Type: cross Abstract: Reliable confidence estimation is essential for deploying large language models (LLMs) in confidence-aware systems, where downstream decisions such as

agentsarxiv-cs-ai

GrandTour: A Legged Robotics Dataset in the Wild for Multi-Modal Perception and State Estimation

model-releasesarxiv-cs-ro

arXiv:2602.18164v3 Announce Type: replace Abstract: Accurate state estimation and multi-modal perception are prerequisites for autonomous legged robots in complex, large-scale environments. To date, n

Mechanistic Interpretability for Neural Networks: Circuits, Sparse Features and Symbolic Reasoning

arXiv:2607.07316v1 Announce Type: new Abstract: This article offers a comprehensive overview of mechanistic interpretability, an emerging field that seeks to reverse-engineer the internal algorithms o

safetyarxiv-cs-lg

Reliable mechanistic operator recovery with biologically-informed neural networks: principles for architecture and optimisation design

model-releasesarxiv-cs-lg

arXiv:2607.07425v1 Announce Type: cross Abstract: Many biological processes are governed by complex dynamical mechanisms that remain incompletely understood despite increasing volumes of experimental

SmartHomeSecure: Automated Detection and Repair of Smart Home Configuration Errors Using Large Language Models

arXiv:2607.06748v1 Announce Type: cross Abstract: Smart home automation platforms increasingly rely on user-authored YAML configuration files to define device behaviors, but these files are prone to s

What Predicts Correctness in Text-to-SQL? A Selective-Prediction Study

arXiv:2607.06799v1 Announce Type: cross Abstract: Evaluating uncertainty in AI-generated SQL queries requires estimating whether a query is correct, where correct means it executes to the same result

AlayaWorld: Long-Horizon and Playable Video World Generation

arXiv:2607.06291v1 Announce Type: new Abstract: Game worlds have traditionally been built through labor-intensive production pipelines, making them costly to develop, difficult to customization, and e

applicationsarxiv-cs-cv

ArtisanCAD: An Industrial-Level CAD Agent with Expert-Grounded Knowledge Distillation

arXiv:2607.05750v1 Announce Type: new Abstract: Computer-aided design (CAD) for industrial components requires long-horizon procedural modeling, robust feature dependencies, editable parametric geomet

Assessing the Operational Impact of Poisoning Attacks over Augmented 3D Point Cloud Public Datasets for Connected and Autonomous Vehicles

arXiv:2607.06484v1 Announce Type: cross Abstract: Poisoning attacks against public datasets lead to major concerns, such as (i) misclassification of perceived objects when the poisoned data is used fo

agentsarxiv-cs-cv

Auditing of Unlearning Algorithms

model-releasesarxiv-cs-lg

arXiv:2607.05898v1 Announce Type: new Abstract: Evaluating whether unlearning algorithms truly remove training data influence remains an open challenge. We propose a practical auditor that computes da

Beyond Static Evaluation: Building Simulation Environments for Scalable Agentic Reinforcement Learning

arXiv:2607.05773v1 Announce Type: new Abstract: As Large Language Models (LLMs) evolve into autonomous agents, traditional static evaluation fails to capture multi-step decision-making. We introduce A

agentsarxiv-cs-ai

Bridging Physical Reasoning and Task Generalization via Visual Action Outcome Reasoning Alignment

arXiv:2607.06522v1 Announce Type: new Abstract: Vision-language models (VLMs) struggle to generalize in interactive physical reasoning, particularly under unseen tasks and environments. Two key failur

Evaluating calibrated refusal and safe usefulness in dual-use biology settings

arXiv:2607.05462v1 Announce Type: cross Abstract: As AI agents are incorporated into life science workflows, the capabilities that speed discovery might also enable misuse. We present BioSecBench-Refu