Abstract: Vector addition systems with states (VASS), also known as Petri nets, are a popular model of concurrent systems. Many problems from many areas reduce to the reachability problem for VASS, ...
Abstract: Automatic solutions to Arithmetic Word Problems (AWPs) continue to attract significant attention due to their potential uses in fact-checking, validation as well as problem-solving across ...
PIMeval is a C++ library-based simulation and evaluation framework for Processing-in-Memory (PIM) systems. It supports a wide range of PIM architectures, including subarray-level bit-serial, ...
You have a small, mostly static corpus (e.g., a few hundred to a few thousand chunks). You want zero‑infrastructure local retrieval with fast, predictable latency. You’re assembling “infinite few‑shot ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results