cs.AI, cs.SE

WybeCoder: Verified Imperative Code Generation

arXiv:2603.29088v1 Announce Type: cross
Abstract: Recent progress in large language models (LLMs) has advanced automatic code generation and formal theorem proving, yet software verification has not seen the same improvement. To address this gap, we p…

cs.AI, cs.AR

SISA: A Scale-In Systolic Array for GEMM Acceleration

arXiv:2603.29913v1 Announce Type: cross
Abstract: The currently dominant AI/ML workloads, such as Large Language Models (LLMs), rely on the efficient execution of General Matrix-Matrix Multiplication (GEMM) operations. Thus, most systems are equipped …

Scroll to Top