TY  - RPRT
TI  - Inductive Synthesis of Inductive Heap Predicates -- Extended Version
AU  - Ziyi Yang
AU  - Ilya Sergey
PY  - 2025
UR  - https://arxiv.org/abs/2502.14478
ID  - 2502.14478
ER  -