pith. sign in

Title resolution pending

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it

fields

cs.AR 1 cs.PL 1

years

2026 2

verdicts

UNVERDICTED 2

representative citing papers

Practical Formal Verification for MLIR Programs

cs.PL · 2026-05-01 · unverdicted · novelty 5.0

A hybrid concrete-symbolic verifier checks MLIR program equivalence in linear time for a supported subset and is applied to AMD MLIR-AIR, MLIR-AIE, and mlir-opt on hundreds of benchmarks.

citing papers explorer

Showing 2 of 2 citing papers.