Search: “research”

Can Reasoning Path still be Effective as Input? Bridging Post-Reasoning to Chain-of-Thought Compression

arXiv:2510.08647v2 Announce Type: replace-cross Abstract: Recent developments have enabled advanced reasoning in Large Language Models (LLMs) via long Chain-of-Thought (CoT), trading efficiency during

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Research

Characterizing initial human-AI proof formalization workflows

DGX agent

arXiv:2606.04273v1 Announce Type: new Abstract: For centuries, human mathematicians have written proofs to substantiate their mathematical arguments; yet, the ability to automatically verify the valid

researcharxiv-cs-ai

4 Jun 2026

ChatSOP: An SOP-Guided MCTS Planning Framework for Controllable LLM Dialogue Agents

arXiv:2407.03884v4 Announce Type: replace-cross Abstract: Dialogue agents powered by Large Language Models (LLMs) show superior performance in various tasks. Despite the better user understanding and

CIPER: A Unified Framework for Cross-view Image-retrieval and Pose-estimation

arXiv:2606.05011v1 Announce Type: new Abstract: Cross-view geo-localization estimates the geographic location of a ground image by matching it against an aerial image database. Existing methods tackle

CLAW: Learning Continuous Latent Action World Models via Adversarial Latent Regularization

arXiv:2606.04130v1 Announce Type: new Abstract: We introduce CLAW, a fully end-to-end self-supervised framework for learning a world model jointly with continuous latent action representations directl

researcharxiv-cs-ro

CleanCodec: Efficient and Robust Speech Tokenization via Perceptually Guided Encoding

arXiv:2606.04418v1 Announce Type: cross Abstract: Neural audio codecs are a key component of speech processing pipelines, compressing audio into discrete tokens for downstream modeling. However, exist

Clinical Assistant for Remote Engagement Link (CARE-link): A Web-Based Electronic Health Records Software for Managing Diabetes

arXiv:2606.04952v1 Announce Type: cross Abstract: CARE-link is an open-source, web-based clinical support platform designed to improve the management of gestational diabetes by linking clinicians and

Conditional PED-ANOVA: Hyperparameter Importance in Hierarchical & Dynamic Search Spaces

arXiv:2601.20800v3 Announce Type: replace-cross Abstract: We propose conditional PED-ANOVA (condPED-ANOVA), a principled framework for estimating hyperparameter importance (HPI) in conditional search

Cone-Compatible Monge Geometry for High-Dimensional Ordered Optimal Transport

arXiv:2606.04695v1 Announce Type: new Abstract: High-dimensional optimal transport is seldom available in closed form. The one-dimensional case is exceptional because the order of the real line is com

Constrained Adaptive Rejection Sampling

arXiv:2510.01902v2 Announce Type: replace Abstract: Language Models (LMs) are increasingly used in applications where generated outputs must satisfy strict semantic or syntactic constraints. Existing

Continuum Robot State Estimation with Actuation Uncertainty

arXiv:2601.04493v3 Announce Type: replace Abstract: Continuum robots are flexible, slender manipulators well suited for confined surgical environments. In these settings, unknown interaction forces an

researcharxiv-cs-ro

Contrastive Learning and Correlation Clustering for Sequences of Network Telescope Data

arXiv:2606.04733v1 Announce Type: new Abstract: Understanding activities of Internet scanners is challenging; it often requires identifying relationships between sources, a task for which semantic ann

Controllable Dynamic 3D Shape Generation via 3D Trajectories and Text

arXiv:2606.05162v1 Announce Type: new Abstract: We introduce T2Mo, a feed-forward framework for controllable dynamic 3D shape generation conditioned on 3D trajectories and text. Due to the inherent am

Cooperative Circumnavigation for Multiple Unmanned Surface Vehicles Without External Localization

arXiv:2606.04518v1 Announce Type: new Abstract: This paper proposes a cooperative target circumnavigation framework for multiple unmanned surface vehicles (USVs) operating without external localizatio

researcharxiv-cs-ro

CounterFace: A Synthetic Face Dataset for Fine-Grained Counterfactual Evaluation of Face Recognition Systems

arXiv:2407.13922v3 Announce Type: replace-cross Abstract: Face recognition (FR) systems are widely deployed in critical applications, making their reliability and robustness across diverse populations

Counterfactual Explanations for Deep Two-Sample Testing

arXiv:2606.04009v1 Announce Type: cross Abstract: Two-sample testing is a fundamental tool for detecting distributional differences across scientific domains, but classical tests (including kernel-bas

CRAFT: Cost-aware Refinement And Front-aware Tuning of Prompts

arXiv:2606.04661v1 Announce Type: new Abstract: Prompts tuned for accuracy often grow long, raising inference cost on every model call. The best accuracy-cost trade-off depends on the task and the bud

Cross-Prompt Generalization in Detecting AI-Generated Fake News Using Interpretable Linguistic Features

arXiv:2606.04199v1 Announce Type: new Abstract: The increasing use of large language models has raised concerns about the spread of AI-generated fake news, particularly under varying prompting strateg

D^2SD: Accelerating Speculative Decoding with Dual Diffusion Draft Models

arXiv:2606.04446v1 Announce Type: cross Abstract: Speculative decoding accelerates autoregressive large language model inference by drafting multiple tokens and verifying them in a single target-model

Data Attribution in Large Language Models via Bidirectional Gradient Optimization

arXiv:2606.04928v1 Announce Type: cross Abstract: Large Language Models (LLMs) are increasingly deployed across diverse applications, raising critical questions for governance, accountability, and dat

Data Efficient Complex Feature Fusion Network For Hyperspectral Image Classification

arXiv:2606.04710v1 Announce Type: new Abstract: This work presents a data-efficient variant of the Attention-Based Dual-Branch Complex Feature Fusion Network (CFFN) for hyperspectral image classificat

Decentralized EM Algorithm for Gaussian Mixtures under Data Heterogeneity and Partial Labeling

arXiv:2411.05591v2 Announce Type: replace-cross Abstract: We systematically study several network-based Expectation-Maximization (EM) algorithms for the Gaussian mixture model within decentralized fed

DEER: Disentangled Mixture of Experts with Instance-Adaptive Routing for Generalizable Machine-Generated Text Detection

arXiv:2511.01192v2 Announce Type: replace Abstract: Detecting machine-generated text has become a critical challenge amid the rapid advancement of LLMs, yet existing detectors degrade severely under d

DeliChess: A Multi-party Dialogue Dataset for Deliberation in Chess Puzzle Solving

arXiv:2606.04987v1 Announce Type: cross Abstract: Multi-party dialogue is a critical setting for studying collaborative reasoning and decision-making, yet existing datasets rarely focus on structured,

Depth-Attention: Cross-Layer Value Mixing for Language Models

arXiv:2606.05014v1 Announce Type: new Abstract: Self-attention selects information freely across the sequence, but across depth, Transformers merely add each layer's output to the residual stream, so

Derivative Informed Learning of Exchange-Correlation Functionals

arXiv:2606.04279v1 Announce Type: new Abstract: Machine-learned (ML) exchange-correlation (XC) functionals aim to replace human-designed density functional approximations by learning directly from ref

Differentially Private Joint Independence Test

arXiv:2503.18721v3 Announce Type: replace-cross Abstract: Identification of joint dependence among several random vectors plays an important role in many statistical applications, where the data may c

Disentangling Answer Engine Optimization from Platform Growth: A Log-Based Natural Experiment on ChatGPT Referral Traffic

arXiv:2606.04362v1 Announce Type: cross Abstract: Large language model (LLM) 'answer engines' such as ChatGPT now send measurable referral traffic to the open web, and a practice analogous to search e

Does Order Matter : Connecting The Law of Robustness to Robust Generalization

arXiv:2602.20971v3 Announce Type: replace-cross Abstract: Bubeck and Selke (2021) propose the connection between the Law of Robustness and robust generalization error as an open problem. The Law of Ro

Drift-Augmented Scoring: Text-Derived Noise Robustness for Zero-Shot Audio-Language Classification

arXiv:2606.04844v1 Announce Type: cross Abstract: Contrastive audio-language models such as CLAP enable zero-shot audio classification: a sound is labelled by matching its embedding to text prompt emb

DSL-Topic: Improving Topic Modeling by Distilling Soft Labelsfrom Language Models

arXiv:2602.17907v2 Announce Type: replace-cross Abstract: Traditional neural topic models are typically optimized by reconstructing the document's Bag-of-Words (BoW) representations, overlooking conte

Dynamic Infilling Anchors for Format-Constrained Generation in Diffusion Large Language Models

arXiv:2606.04535v1 Announce Type: cross Abstract: Diffusion large language models (dLLMs) offer bidirectional attention and parallel generation, enabling them to exploit global context and naturally s

Efficient and Training-Free Single-Image Diffusion Models

arXiv:2606.04299v1 Announce Type: new Abstract: We consider the problem of generating images whose internal structure -- defined by the distribution of patches across multiple scales -- matches that o

Entity Binding Failures in Speech LLM Reasoning: Diagnosis and Chain-of-Thought Intervention

arXiv:2606.04474v1 Announce Type: new Abstract: Speech Large Language Models (SLLMs) underperform their text counterparts on complex reasoning. We reveal that this modality gap is not a uniform cognit

EpiFormer: Learning Antigen-Antibody Interactions for Epitope Prediction via Geometric Deep Learning

arXiv:2606.04154v1 Announce Type: cross Abstract: Antibodies neutralize foreign antigens by binding to specific surface regions called epitopes. Computational epitope prediction is critical for unders

EvalStop: Using World Feedback to Detect and Correct Reward Overoptimization in Multi-Tenant RLHF Platforms

arXiv:2606.04145v1 Announce Type: cross Abstract: Cloud LLM fine-tuning platforms increasingly serve RLHF workloads, where a learned reward model is optimized as a proxy for human quality. As Gao et a

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing

arXiv:2511.12784v3 Announce Type: replace Abstract: Large Language Models (LLMs) have recently emerged as powerful tools for autoformalization. Despite their impressive performance, these models can s

Evaluating Reasoning Fidelity in Visual Text Generation

arXiv:2606.04479v1 Announce Type: cross Abstract: Recent text-to-image (T2I) models can render highly legible and well-structured text within images, enabling applications including document generatio

Exact Unlearning in Reinforcement Learning

arXiv:2606.04182v1 Announce Type: cross Abstract: We formulate the problem of exact unlearning in reinforcement learning, where the goal is to design an efficient framework that enables the removal of

Explaining a probabilistic prediction on the simplex with Shapley compositions

arXiv:2408.01382v3 Announce Type: replace Abstract: Originating in game theory, Shapley values are widely used for explaining a machine learning model's prediction by quantifying the contribution of e

Failed Reasoning Traces Tell You What Is Fixable (But Not by Reading Them)

arXiv:2606.05145v1 Announce Type: cross Abstract: When post-trained language models fail on reasoning problems, the common test-time-scaling response is to spend more compute on additional attempts, a

Fast Cubical Persistent Homology on 2D and 3D Images via Union-Find, Pruning, and Lookup Tables

arXiv:2606.04801v1 Announce Type: new Abstract: We present Flash Cubical, a highly efficient computation of cubical persistence on a V-filtration for 2D and 3D images over F_2. The implementation is b

Fast & Faithful Function Vectors

arXiv:2606.05079v1 Announce Type: new Abstract: Function vectors (FVs) are task representations elicited during in-context learning that can be used to steer Large Language Models (LLMs). However, des

Finite-Iteration Local Dynamics and Warm Starts for Alternating Power Iteration in Spiked Tensor PCA

arXiv:2606.04065v1 Announce Type: cross Abstract: We study simultaneous alternating power iteration for fixed-order asymmetric rank-one spiked tensor models. Our main contribution is a finite-iteratio

Flatness and Generalization: Learning Multi-Index Models with Homogeneous Neural Networks

arXiv:2606.04429v1 Announce Type: cross Abstract: A common heuristic used to explain the generalization of first-order gradient methods on non-convex neural networks is that 'flat interpolators genera

FoeGlass: Simple In-Context Learning Is Enough for Red Teaming Audio Deepfake Detectors

arXiv:2606.05101v1 Announce Type: cross Abstract: Audio deepfake detection (ADD) models are critical for countering the malicious use of text-to-speech (TTS) models. Evaluating and strengthening ADD m

Folded Transport MCMC: Certifiable Quotient Posterior Computation for Symmetric Bayesian Models

arXiv:2606.04307v1 Announce Type: new Abstract: Bayesian models with finite symmetry - mixture models with exchangeable components, structural identification with closely-spaced modes - define posteri

From Live to Recording: Consumer Demand and Response to Price Across the Livestreaming Lifecycle

arXiv:2107.01629v3 Announce Type: replace-cross Abstract: Livestreaming has evolved into a thriving industry where creators can directly monetize and engage with their audiences and followers. In prac