research

Flatness-based trajectory planning for 3D overhead cranes with friction compensation and collision avoidance

arXiv:2510.24457v2 Announce Type: replace Abstract: This paper presents an optimal trajectory generation method for 3D overhead cranes by leveraging differential flatness. This framework enables the d

researcharxiv-cs-ro

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Research

Fluency and Faithfulness in Human and Machine Literary Translation

DGX agent

arXiv:2605.15282v1 Announce Type: new Abstract: Literary translation requires balancing target-language fluency with faithfulness to the source. Recent large language models (LLMs) often produce fluen

researcharxiv-cs-cl

18 May 2026

Frequency-domain Event-based Imaging for Selective Surveillance

arXiv:2605.15392v1 Announce Type: cross Abstract: Event-based cameras (EBCs) are an attractive sensing modality for surveillance due to their reporting of pixel-level radiance changes with microsecond

From Failure to Feedback: Group Revision Unlocks Hard Cases in Object-Level Grounding

arXiv:2605.15951v1 Announce Type: new Abstract: Finetuning Large Vision-Language Models with reinforcement learning has emerged as a promising approach to enhance their capability in object-level grou

From Flat Language Labels to Typological Priors: Structured Language Conditioning for Multilingual Speech-to-Speech Translation

arXiv:2605.16026v1 Announce Type: cross Abstract: Compositional speech-to-speech translation (S2ST) systems built upon speech large language models (SpeechLLMs) have recently shown promising performan

From Guidelines to Guarantees: A Graph-Based Evaluation Harness for Domain-Specific Evaluation of LLMs

arXiv:2508.20810v3 Announce Type: replace Abstract: Rigorous evaluation of domain-specific language models requires benchmarks that are comprehensive, contamination-resistant, and maintainable. Static

From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates

arXiv:2605.15445v1 Announce Type: new Abstract: Automated proving of polynomial inequalities is a fundamental challenge in automated mathematical reasoning, where rich algebraic structure and a rapidl

From Observed Viability to Internal Predictive Approximation: A Single-Subject Latent-Space Analysis of Gait Dynamics Under Occlusal Constraint

arXiv:2605.15862v1 Announce Type: new Abstract: Adaptive biomechanical systems may show similar observable gait performance while differing in latent organization and longitudinal behavior. This study

FSCM: Frequency-Enhanced Spatial-Spectral Coupled Mamba for Infrared Hyperspectral Image Colorization

arXiv:2605.15880v1 Announce Type: cross Abstract: Thermal infrared imaging is robust to illumination variations and smoke interference, making it important for all-weather perception. However, the lac

GenAI-Driven Approach to RISC-V Supply Chain Exploration

arXiv:2605.15223v1 Announce Type: cross Abstract: This paper presents an LLM-empowered workflow for RISC-V supply chain analysis, integrating Vision-Language Models (VLMs) and Model-Driven Engineering

Generative Long-term User Interest Modeling for Click-Through Rate Prediction

arXiv:2605.15905v1 Announce Type: cross Abstract: Modeling long-term user interests with massive historical user behaviors enhances click-through rate (CTR) prediction performance in advertising and r

GeoGS-CE: Learning Delay--Beam Channel Priors with 3D Gaussians for High-Mobility Scenarios

arXiv:2605.16094v1 Announce Type: cross Abstract: Wideband channel estimation (CE) in high-mobility scenarios remains challenging because channel responses vary rapidly, while practical systems can al

GHOST: Geometry-Hierarchical Online Streaming Token Eviction for Efficient 3D Reconstruction

arXiv:2605.15852v1 Announce Type: new Abstract: Streaming 3D reconstruction from long monocular video sequences requires maintaining a key-value (KV) cache that grows linearly with sequence length, cr

Gradient-Based Join Ordering

arXiv:2511.14482v2 Announce Type: replace-cross Abstract: Join ordering is the NP-hard problem of selecting the most efficient order in which to evaluate joins (conjunctive, binary operators) in a dat

GRASP: Learning to Ground Social Reasoning in Multi-Person Non-Verbal Interactions

arXiv:2605.15764v1 Announce Type: cross Abstract: Understanding social interactions requires reasoning over subtle non-verbal cues, yet current multimodal large language models (MLLMs) often fail to i

Grokking as Structural Inference: Transformers Need Bayesian Lottery Tickets

arXiv:2605.15787v1 Announce Type: cross Abstract: Why does a Transformer that has memorized its training set wait thousands of steps before it generalizes? Existing accounts locate this delay in norm

Hallucinations are inevitable but can be made statistically negligible

arXiv:2502.12187v3 Announce Type: replace Abstract: Hallucinations, a phenomenon where a language model (LM) generates nonfactual content, pose a significant challenge to the practical deployment of L

researcharxiv-cs-cl

Heuristic-Based Merging of HPC Traces to Extend Hardware Counter Coverage

arXiv:2605.15832v1 Announce Type: cross Abstract: This work extends a framework for predicting the performance of High-Performance Computing (HPC) workloads using Machine Learning (ML). A common limit

High-accuracy log-concave sampling with stochastic queries

arXiv:2602.14342v2 Announce Type: replace-cross Abstract: We show that high-accuracy guarantees for log-concave sampling -- that is, iteration and query complexities which scale as polylog(1/elta), wh

Highly Detailed and Generalizable Broadleaf Tree Crown Instance Segmentation from UAV Imagery

arXiv:2605.15673v1 Announce Type: cross Abstract: We present a highly detailed instance segmentation model for delineating individual tree crowns in natural broadleaf forests using aerial imagery acqu

Honey, I shrunk the hypothesis space (through logical preprocessing)

arXiv:2506.06739v3 Announce Type: replace Abstract: Inductive logic programming (ILP) is a form of logical machine learning. The goal is to search a hypothesis space for a hypothesis that generalises

How Data Augmentation Shapes Neural Representations

arXiv:2605.15306v1 Announce Type: new Abstract: Data augmentation is widely recognized for improving generalization in deep networks, yet its impact on the geometry of learned representations remains

Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support

arXiv:2605.15238v1 Announce Type: cross Abstract: Large language models are increasingly used for code generation, but many generated programs fail to compile, a prerequisite for further correctness c

IHF-Harmony: Multi-Modality Magnetic Resonance Images Harmonization using Invertible Hierarchy Flow Model

arXiv:2602.21536v2 Announce Type: replace Abstract: Retrospective MRI harmonization is limited by poor scalability across modalities and reliance on traveling subject datasets. To address these challe

Improving Cross-Cultural Survey Simulation with Calibrated Value Personas

arXiv:2605.16193v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly used to simulate human opinions and survey responses, but their ability to reproduce population responses

researcharxiv-cs-cl

Inside Anduril and Meta’s quest to make smart glasses for warfare

The defense-tech company Anduril has shared new details about the augmented-reality headset for the military it’s prototyping with Meta, including a vision for ordering drone strikes via eye-tracking

researchmit-tech-review

Intrinsic Wasserstein Rates for Score-Based Generative Models on Smooth Manifolds

arXiv:2605.15822v1 Announce Type: new Abstract: Score-based generative models are trained in high-dimensional ambient spaces, yet many data distributions are supported on low-dimensional nonlinear str

IO-SVD: Input-Output Whitened SVD for Adaptive-Rank LLM Compression

arXiv:2605.15626v1 Announce Type: new Abstract: Large language models deliver strong performance across language and reasoning tasks, but their storage and compute costs remain major barriers to deplo

Is One Score Enough? Rethinking the Evaluation of Sequentially Evolving LLM Memory

arXiv:2605.15384v1 Announce Type: cross Abstract: Memory plays a central role in enabling large language models (LLMs) to operate over sequential tasks by accumulating and reusing experience over time

IVGT: Implicit Visual Geometry Transformer for Neural Scene Representation

arXiv:2605.16258v1 Announce Type: cross Abstract: Reconstructing coherent 3D geometry and appearance from unposed multi-view images is a fundamental yet challenging problem in computer vision. Most ex

KaRMA: A Kinematic Metric for Fine Manipulation Ability in Robotic Hands

arXiv:2605.15548v1 Announce Type: new Abstract: Traditional robotic hand metrics focus on static properties such as workspace, manipulability, and grasp stability. However, these metrics do not direct

researcharxiv-cs-ro

Lagrangian Flow Matching: A Least-Action Framework for Principled Path Design

arXiv:2605.15419v1 Announce Type: new Abstract: Flow matching trains a neural velocity field by regression against a target velocity associated with a prescribed probability path connecting a simple i

Latent Video Prediction Learns Better World Models

arXiv:2605.15618v1 Announce Type: cross Abstract: Self-supervised video models are increasingly framed as world models, yet their evaluation remains largely confined to a single top-1 accuracy score o

LAtte: Hyperbolic Lorentz Attention for Cross-Subject EEG Classification

arXiv:2603.10881v2 Announce Type: replace Abstract: Electroencephalogram (EEG) classification plays a key role in medical diagnosis and brain-computer interfaces, but remains challenging due to low si

Layer Selection in Feature-Based Losses Affects Image Quality and Microstructural Consistency in Deep Learning Super-Resolution of Brain Diffusion MRI

arXiv:2605.15895v1 Announce Type: cross Abstract: Clinical application of high-resolution diffusion MRI is hindered by hardware limitations and prohibitive scan times, motivating computational super-r

Learning Normalized Energy Models for Linear Inverse Problems

arXiv:2605.15487v1 Announce Type: cross Abstract: Generative diffusion models can provide powerful prior probability models for inverse problems in imaging, but existing implementations suffer from tw

Learning with Conflicts of Interest

arXiv:2605.15504v1 Announce Type: cross Abstract: Financial, social, and political factors often prevent the interests of the owners of ML systems and services and their users from being perfectly ali

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration

arXiv:2509.21663v2 Announce Type: replace-cross Abstract: Neurosymbolic integration (NeSy) blends neural-network learning with symbolic reasoning. The field can be split between methods injecting hand

LPDS: Evaluating LLM Robustness Through Logic-Preserving Difficulty Scaling

arXiv:2605.15393v1 Announce Type: new Abstract: As large language models (LLMs) are increasingly deployed to perform tasks with minimal human oversight, it is crucial that these models operate robustl

Margin-Adaptive Confidence Ranking for Reliable LLM Judgement

arXiv:2605.15416v1 Announce Type: cross Abstract: Jung et al. (2025) introduce a hypothesis testing framework for guaranteeing agreement between large language models (LLMs) and human judgments, relyi

Martingale Neural Operators: Learning Stochastic Marginals via Doob-Meyer Factorization

arXiv:2605.15806v1 Announce Type: new Abstract: Neural operators excel as deterministic surrogates, but inevitably collapse to the conditional mean when applied to stochastic PDEs, discarding the vari

MaxSketch: Robust Distinct Counting in Streams via Random Projections

arXiv:2605.15571v1 Announce Type: cross Abstract: Estimating the number of distinct elements in a data stream is well understood when repeated elements are identical. In modern settings, however, obse

Mind the Motions: Benchmarking Theory-of-Mind in Everyday Body Language

arXiv:2511.15887v2 Announce Type: replace Abstract: Our ability to interpret others' mental states through nonverbal cues (NVCs) is fundamental to our survival and social cohesion. While existing Theo

researcharxiv-cs-cl

Misspecified Explore-then-Exploit Leads to Supra-Competitive Prices

arXiv:2605.16064v1 Announce Type: cross Abstract: We study whether simple algorithmic pricing systems can systematically produce collusive-like prices in multi-firm markets. We consider firms using an

Modeling Music as a Time-Frequency Image: A 2D Tokenizer for Music Generation

arXiv:2605.15831v1 Announce Type: cross Abstract: Autoregressive music generation depends strongly on the audio tokenizer. Existing high-fidelity codecs often use residual multi-codebook quantization,

mRadNet: A Compact Radar Object Detector with MetaFormer

arXiv:2509.16223v3 Announce Type: replace-cross Abstract: Frequency-modulated continuous wave radars have gained increasing popularity in the automotive industry. Their robustness against adverse weat

Multi-level Self-supervised Pretraining on Compositional Hierarchical Graph for Molecular Property Prediction

arXiv:2605.16088v1 Announce Type: cross Abstract: Self-supervised pretraining on molecular graphs has emerged as a promising approach for molecular property prediction, yet most existing methods opera

Multimodal Object Detection Under Sparse Forest-Canopy Occlusion

arXiv:2605.15326v1 Announce Type: new Abstract: Reliable detection of humans beneath forest canopy remains a difficult remote-sensing challenge due to sparse, structured, and viewpoint-dependent occlu