Maximum Matching and Related Problems in Catalytic Logspace

Get full text

On Detecting $H$-Induced Minors for Small $H$

Get full text

Polynomial-time completion of phylogenetic tree sets

Get full text

Constructive Separations from Gate Elimination

Get full text

On the Hardness of Finding Temporally Connected Subgraphs of Any Size

Get full text

Classification in the high dimensional Anisotropic mixture framework: A new take on Robust Interpolation

Get full text

Boolean PCSPs through the lens of Fourier Analysis

Get full text

The Exact Replica Threshold for Nonlinear Moments of Quantum States

Get full text

I hope we don't do to trust what advertising has done to love

Get full text

AME-PIM: Can Memory be Your Next Tensor Accelerator?

Get full text

RuC: HDL-Agnostic Rule Completion Benchmark Generation

Get full text

HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs

Get full text

CuLifter: Lifting GPU Binaries to Typed IR

Get full text

VitaLLM: A Versatile, Ultra-Compact Ternary LLM Accelerator with Dependency-Aware Scheduling

Get full text

RCW-CIM: A Digital CIM-based LLM Accelerator with Read-Compute/Write

Get full text

SafeTune: Mitigating Data Poisoning in LLM Fine-Tuning for RTL Code Generation

Get full text

Universal Online Convex Optimization Meets Second-order Bounds

Get full text

Sparse-on-Dense: Area and Energy-Efficient Computing of Sparse Neural Networks on Dense Matrix Multiplication Accelerators

Get full text

Verification and Validation (V&V)-in-the-Loop for RISC-V Design: The Holistic Vision of BZL

Get full text

EMiX: Emulating Beyond Single-FPGA Limits

Get full text