@misc{indiciae9ae5e083aa0c,
  title = {Automating Thinning Theorem: Synthesizing Efficient Dynamic Programming Algorithms},
  author = {Ruyi Ji and Tianran Zhu and Yingfei Xiong and Zhenjiang Hu},
  year = {2023},
  url = {https://arxiv.org/abs/2202.12208},
  note = {Source identifier: 2202.12208}
}