@misc{indiciae2bbf900c6357,
  title = {Improving Reachability in Vector Addition Systems through Pumpability},
  author = {Weijun Chen and Yuxi Fu and Yangluo Zheng},
  year = {2026},
  url = {https://arxiv.org/abs/2604.24095},
  note = {Source identifier: 2604.24095}
}