AI Wiki — Knowledge Base

HLS-Seek: QoR-Aware Code Generation for High-Level Synthesis via Proxy Comparative Reward Reinforcement Learning

arXiv:2605.13536v1 Announce Type: cross Abstract: High-Level Synthesis (HLS) compiles algorithmic C/C++ descriptions into hardware, with Quality of Results (QoR) -- latency and resource utilization --

model-releasesarxiv-cs-ai

14 May 2026

Search: “synthesis”

Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models

A large-scale nanocrystal database with aligned synthesis and properties enabling generative inverse design

ASBench: Image Anomalies Synthesis Benchmark for Anomaly Detection

Extending a Large View Synthesis Model for Multi-view Panoptic Segmentation

Segmentation-Assisted Brain MRI Synthesis with Cross-Image Multi-Contrast Feature Memory Bank Retrieval Augmentation

Optimal LTLf Synthesis

Actuator-Aware Spatiotemporal Tube Synthesis for Temporal Reach-Avoid-Stay Tasks

Causality for Tabular Data Synthesis: A High-Order Structure Causal Benchmark Framework

Enhanced Reinforcement Learning-based Process Synthesis via Quantum Computing

Evaluating Speech Articulation Synthesis with Articulatory Phoneme Recognition

TimingLLM: A Two-Stage Retrieval-Augmented Framework for Pre-Synthesis Timing Prediction from Verilog

SemanticAgent: A Semantics-Aware Framework for Text-to-SQL Data Synthesis

HSS-Synth: Humanities and Social Sciences Data Synthesis for LLMs

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch

CodeEvo: Interaction-Driven Synthesis of Code-centric Data through Hybrid and Iterative Feedback

HUGS: Guiding Unified Dexterous Grasp Synthesis Across Modes and Scales via Learned Human Priors

Coupling Language Models with Physics-based Simulation for Synthesis of Inorganic Materials

DeblurNVS: Geometric Latent Diffusion for Novel View Synthesis from Sparse Motion-Blurred Images

HLS-Seek: QoR-Aware Code Generation for High-Level Synthesis via Proxy Comparative Reward Reinforcement Learning

When Brains Disagree: Biological Ambiguity Underlies the Challenge of Amyloid PET Synthesis from Structural MRI

SemaPop: Semantic-Persona Conditioned and Controllable Population Synthesis

Latent Wavelet Diffusion For Ultra-High-Resolution Image Synthesis

Robotic Nanoparticle Synthesis via Solution-based Processes

AnomalyAgent: Agentic Industrial Anomaly Synthesis via Tool-Augmented Reinforcement Learning

ReDiff: Reliability-Guided Diffusion for Trustworthy Ultra-Low-Field to High-Field MRI Synthesis

MicroZoom: Structure-Preserving Detail Synthesis at Extreme Scale

Do Flat Minima Improve Sparse Novel View Synthesis?

NeoMap: Training-free Novel-View Synthesis from Single Images and Videos

[Preprint] Dynamic Modeling, Gait Synthesis, and Control of a Novel Subsurface Bore Propagator

Agentic-Ideation: Sample Efficient Agentic Trajectories Synthesis for Scientific Ideation Agents

Lie Group Diffusion Models for Hardware-Aware Quantum Circuit Synthesis

Semantic-Aware, Physics-Informed, Geometry-Grounded Weather Video Synthesis

Fast and Lightweight Novel View Synthesis with Differentiable Multiplane Image

3DAE: Binaural Quality Assessment for Audio Novel View Synthesis with Spatial Maps and Benchmark

DVSM: Decoder-only View Synthesis Model Done Right

AI-T2I: Aggregating-and-Isolating Cross-Attention to Diffusion Models for Text-to-Image Synthesis

Property-Guided LLM Program Synthesis for Planning

UniFixer: A Universal Reference-Guided Fixer for Diffusion-Based View Synthesis

From Feasible to Practical: Pareto-Optimal Synthesis Planning

CRC-Screen: Certified DNA-Synthesis Hazard Screening Under Taxonomic Shift

UltraGS: Real-Time Physically-Decoupled Gaussian Splatting for Ultrasound Novel View Synthesis

MARRS: Masked Autoregressive Unit-based Reaction Synthesis

WFM: 3D Wavelet Flow Matching for Ultrafast Multi-Modal MRI Synthesis

Learn2Synth: Learning Optimal Data Synthesis Using Hypergradients for Brain Image Segmentation

Self-Reinforcing Controllable Synthesis of Rare Relational Data via Bayesian Calibration

A Single Image and Multimodality Is All You Need for Novel View Synthesis

C-Mining: Unsupervised Discovery of Seeds for Cultural Data Synthesis via Geometric Misalignment

Cyclic 2.5D Perceptual Loss for Cross-Modal 3D Medical Image Synthesis: T1w MRI to Tau PET