Search: “synthesis”

SAIL: Sound Abstract Interpreters with LLMs

arXiv:2511.13663v2 Announce Type: replace-cross Abstract: How to construct globally sound abstract interpreters to safely approximate program behaviors remains a bottleneck in abstract interpretation.

tutorialsarxiv-cs-lg

Agents

Synthesize and Reward -- Reinforcement Learning for Multi-Step Tool Use in Live Environments

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

DGX agent

arXiv:2606.03892v1 Announce Type: cross Abstract: Training LLMs to orchestrate multi-step tool calls is held back by three coupled obstacles: realistic stateful execution environments are costly to bu

agentsarxiv-cs-ai

3 Jun 2026

Terminal Time and Angle-Constrained Nonlinear Intercept Guidance

arXiv:2606.02872v1 Announce Type: cross Abstract: This paper considers the problem of simultaneously controlling an interceptor's impact time and impact angle using its lateral acceleration as the sol

researcharxiv-cs-ro

Local Ai

The Road Ahead in Autonomous Driving: The KITScenes Multimodal Dataset

arXiv:2606.02956v1 Announce Type: new Abstract: Existing autonomous driving datasets have enabled major progress, but fall short in sensor fidelity, map completeness, or geographic diversity. We prese

local-aiarxiv-cs-cv

Local Ai

VulnAgent-R2: Evidence-Calibrated Multi-Agent Auditing for Repository-Level Vulnerability Detection

arXiv:2603.13384v2 Announce Type: replace-cross Abstract: Software vulnerabilities often depend on cross-file data flow, build options, framework conventions, and runtime guards, so isolated function

local-aiarxiv-cs-ai

Applications

A Simulation Platform for Flapping-Wing Vehicles

arXiv:2606.02370v1 Announce Type: new Abstract: Flapping-wing aerial vehicles (FWAVs) demonstrate remarkable agility but face substantial autonomy challenges due to their high sensitivity to aerodynam

applicationsarxiv-cs-ro

Advances in Neural 3D Mesh Texturing: A Survey

arXiv:2606.00137v1 Announce Type: new Abstract: Texturing 3D meshes plays a vital role in determining the visual realism of digital objects and scenes. Although recent generative 3D approaches based o

tutorialsarxiv-cs-cv

Algebraic anti-unification

arXiv:2407.15510v2 Announce Type: replace Abstract: Abstraction is key to human and artificial intelligence as it allows one to identify common structure in otherwise distinct objects or situations. A

Algorithmic Authority and the Clinical Standard of Care

arXiv:2606.00044v1 Announce Type: cross Abstract: The integration of artificial intelligence into clinical medicine creates a fundamental tension between algorithmic probabilistic reasoning and the ex

APEX-SQL: Talking to the data via Agentic Exploration for Text-to-SQL

arXiv:2602.16720v2 Announce Type: replace-cross Abstract: Text-to-SQL systems powered by Large Language Models have excelled on academic benchmarks but struggle in complex enterprise environments. The

ATLAS: Agentic Test-time Learning-to-Allocate Scaling

model-releasesarxiv-cs-lg

arXiv:2606.01667v1 Announce Type: new Abstract: Test-time scaling has become a major way to improve large language model reasoning, but its orchestration has remained designer-engineered: a fixed samp

Agents

Automated Conjecture Resolution with Formal Verification

arXiv:2604.03789v2 Announce Type: replace-cross Abstract: Recent advances in large language models have significantly improved their ability to perform mathematical reasoning, extending from elementar

agentsarxiv-cs-ai

Beyond Augmentation: Score-Guided Pathological Prior for EEG-based Depression Detection

arXiv:2606.00180v1 Announce Type: cross Abstract: Deep learning-based Major Depressive Disorder (MDD) detection using Electroencephalography (EEG) is fundamentally constrained by the 'small-sample dil

ChatUMM: Robust Context Tracking for Conversational Interleaved Generation

arXiv:2602.06442v2 Announce Type: replace Abstract: Unified multimodal models (UMMs) have achieved remarkable progress yet remain constrained by a single-turn interaction paradigm, effectively functio

Do Text Edits Generalize to Visual Generation? Benchmarking Cross-Modal Knowledge Editing in UMMs

model-releasesarxiv-cs-cl

arXiv:2606.00477v1 Announce Type: new Abstract: Unified multimodal models (UMMs) have emerged as a promising paradigm for general-purpose multimodal intelligence. As they are deployed in real-world ap

Drifting Preference Optimization for One-Step Generative Models

arXiv:2606.02521v1 Announce Type: cross Abstract: One-step text-to-image generators are attractive for deployment because they generate an image with a single forward pass, but preference finetuning t

Dynamic Coordination Strategy Selection for Enterprise Multi-Agent Systems

arXiv:2606.00804v1 Announce Type: cross Abstract: Enterprise multi-agent systems increasingly expose multiple coordination patterns, but deployments often lack evidence for when to use consensus, deba

From Noise to Control: Parameterized Diffusion Policies

arXiv:2606.00336v1 Announce Type: new Abstract: We propose Parameterized Diffusion Policy (PDP), a framework for learning diffusion policies conditioned on low-dimensional, continuous parameters embed

HAIM: Human-AI Music Datasets for AI Music Production Tracking Benchmark

arXiv:2606.01686v1 Announce Type: cross Abstract: As generative platforms such as Suno and Udio reach human-grade audio quality, the scope of AI's utility has expanded across the entire music producti

Hardware

LithoGRPO: Fast Inverse Lithography via GRPO Reinforced Flow Matching

arXiv:2606.00228v1 Announce Type: new Abstract: In semiconductor manufacturing, lithography projects circuit layouts onto silicon wafers through an optical mask. As circuit features shrink below the w

hardwarearxiv-cs-lg

LLM-Evolved Pattern Generators for Optimal Classical Planning

arXiv:2606.02438v1 Announce Type: new Abstract: Learned heuristics have recently become a competitive alternative to traditional domain-independent heuristics for satisficing planning. Existing approa

tutorialsarxiv-cs-ai

LLM4Cov: Execution-Aware Agentic Learning for High-coverage Testbench Generation

arXiv:2602.16953v3 Announce Type: replace Abstract: Execution-aware LLM agents offer a promising paradigm for learning from tool feedback, but such feedback can be expensive and slow to obtain, making

Local Diagnostics of Continuous Normalizing Flow for Out-of-Distribution Detection

model-releasesarxiv-cs-cl

arXiv:2606.00684v1 Announce Type: cross Abstract: We address the problem of out-of-distribution (OOD) detection for target observations embedded in a subspace of the high dimensional data space. Using

Applications

MiCU: End-to-End Smart Home Command Understanding with Large Language Model

arXiv:2606.01099v1 Announce Type: cross Abstract: Command understanding systems in smart home ecosystems can automate device control and substantially improve user experience. However, while they perf

applicationsarxiv-cs-ai

MipSLAM: Alias-Free Gaussian Splatting SLAM

arXiv:2603.06989v3 Announce Type: replace Abstract: This paper introduces MipSLAM, a frequency-aware 3D Gaussian Splatting (3DGS) SLAM framework capable of high-fidelity anti-aliased novel view synthe

Mos-Gen: A Generative Molecular Framework for Mosquito Insecticide Design

arXiv:2606.01846v1 Announce Type: new Abstract: Mosquito-borne infectious diseases cause more than 700000 deaths worldwide each year. The long-term use of conventional chemical insecticides has induce

researcharxiv-cs-lg

MOSAIC: Modular Orchestration for Structured Agentic Intelligence and Composition

arXiv:2606.00708v1 Announce Type: new Abstract: Automated data science is a structured model-selection problem. A solution must choose data transformations, feature representations, architecture, trai

MPMWorlds: Material-Point-Method Simulations for Inferring and Extrapolating Physical Dynamics

arXiv:2606.01538v1 Announce Type: cross Abstract: To study the ability to infer physical dynamics from videos and extrapolate them forward in time, we assemble a dataset of 2D Material Point Method (M

Order within Chaos: Capturing Intrinsic Energy Anomalies for AI-Manipulated Image Forgery Localization

arXiv:2606.02178v1 Announce Type: cross Abstract: Recent advancements in generative AI have led to image editing models capable of producing realistic forgeries that evade traditional image forgery lo

PhyScene3D: Physically Consistent Interactive 3D Tabletop Scene Generation

arXiv:2606.01649v1 Announce Type: new Abstract: Generating physically consistent 3D tabletop scenes is a fundamental yet underexplored problem for interactive and generalist robotic learning. The chal

Pinterest Canvas: Large-Scale Image Generation at Pinterest

arXiv:2603.06453v2 Announce Type: replace Abstract: While recent image generation models demonstrate a remarkable ability to handle a wide variety of image generation tasks, this flexibility makes the

Princeton365: A Diverse Dataset with Accurate Camera Pose

model-releasesarxiv-cs-cv

arXiv:2506.09035v2 Announce Type: replace Abstract: We introduce Princeton365, a large-scale diverse dataset of 365 videos with accurate camera pose. Our dataset bridges the gap between accuracy and d

Relative Energy Learning for LiDAR Out-of-Distribution Detection

model-releasesarxiv-cs-cv

arXiv:2511.06720v3 Announce Type: replace Abstract: Out-of-distribution (OOD) detection is a critical requirement for reliable autonomous driving, where safety depends on recognizing road obstacles an

RU4D-SLAM: Reweighting Uncertainty in Gaussian Splatting SLAM for 4D Scene Reconstruction

arXiv:2602.20807v2 Announce Type: replace Abstract: Combining 3D Gaussian splatting with Simultaneous Localization and Mapping (SLAM) has gained popularity as it enables continuous 3D environment reco

Agents

SciAgentGym: Benchmarking Multi-Step Scientific Tool-use in LLM Agents

arXiv:2602.12984v2 Announce Type: replace Abstract: Scientific reasoning inherently demands integrating sophisticated toolkits to navigate domain-specific knowledge. Yet, current benchmarks largely ov

agentsarxiv-cs-cl

Self-Healing Agentic Orchestrators for Reliable Tool-Augmented Large Language Model Systems

arXiv:2606.01416v1 Announce Type: new Abstract: Tool-augmented large language model (LLM) agents rely on orchestration layers that coordinate planning, retrieval, tool invocation, validation, memory,

Symbolic Neural Generation with Applications to Lead Discovery in Drug Design

arXiv:2510.23379v2 Announce Type: replace-cross Abstract: We investigate a relatively under-explored class of hybrid neurosymbolic models that integrate symbolic learning with neural reasoning to cons

X-Foresight: A Joint Vision-Action Causal Forecasting Network via Predictive World Modeling

arXiv:2605.24892v2 Announce Type: replace Abstract: Physical world knowledge resides mainly in videos. Equipping Vision-Language-Action (VLA) models with such knowledge is fundamental for safe and gen

Applications

Astra: a generalizable report generation foundation model for 3D computed tomography

arXiv:2605.31437v1 Announce Type: new Abstract: CT interpretation requires radiologists to review hundreds of volumetric slices per examination, making reporting time-consuming and highly expertise-de

applicationsarxiv-cs-cv

Beyond Tokens: Enhancing RTL Quality Estimation via Structural Graph Learning

arXiv:2508.18730v2 Announce Type: replace Abstract: Estimating the quality of register transfer level (RTL) designs is crucial in the electronic design automation (EDA) workflow, as it enables instant

researcharxiv-cs-lg

Chatterbox-Flash: Prior-Calibrated Block Diffusion for Streaming Zero-Shot TTS

arXiv:2605.30748v1 Announce Type: cross Abstract: We present Chatterbox-Flash, a zero-shot text-to-speech model obtained by fine-tuning a pretrained autoregressive TTS decoder into a block-diffusion d

Decoding the Surgical Scene: A Scoping Review of Scene Graphs in Surgery

arXiv:2509.20941v2 Announce Type: replace Abstract: As surgical AI transitions from pixel-level detection to complex reasoning, Scene Graphs (SGs) offer the structured, relational representations nece

Developing a Culturally Grounded, AI-Augmented UX Research Point of View (POV): An Exemplar Case Study from Telemedicine Dementia Care

arXiv:2605.31147v1 Announce Type: cross Abstract: User Experience Research (UXR) Points of View (POVs) distil complex and often fragmented research evidence into actionable perspectives that guide how

tutorialsarxiv-cs-ai

Developing a UXR Point of View for Cognitive Accessibility in Mobile Learning with Generative AI

arXiv:2605.31149v1 Announce Type: cross Abstract: This study investigates how UX research (UXR) principles, combined with Large Language Model (LLM)-supported analysis, can be used to improve the qual

DTBench: A Synthetic Benchmark for Document-to-Table Extraction

arXiv:2602.13812v3 Announce Type: replace-cross Abstract: Document-to-table (Doc2Table) extraction derives structured tables from unstructured documents under a target schema, enabling reliable and ve

Effective Biological Representation Learning by Masking Gene Expression

arXiv:2605.31562v1 Announce Type: new Abstract: RNA sequencing produces rich and diverse datasets of gene expression, offering compelling insights into cellular state and function that have many appli

researcharxiv-cs-lg

Extending AI for Research to the Humanities: A Multi-Agent Framework for Evidence-Grounded Scholarship

model-releasesarxiv-cs-cl

arXiv:2605.30947v1 Announce Type: new Abstract: LLM-based research agents have advanced rapidly in science and engineering, where research is organized around executable experiments, code, and quantit

Extending the UXR Point of View Pyramid: A Generative AI-Augmented Methodology for Human-Centred AI Systems

arXiv:2605.31143v1 Announce Type: cross Abstract: Rising household debt and cost-of-living pressures in the United Kingdom have intensified the role of AI-driven financial technologies in mediating cr