@misc{indiciae7603e158816f,
  title = {ProRAC: A Neuro-symbolic Method for Reasoning about Actions with LLM-based Progression},
  author = {Haoyong Wu and Yongmei Liu},
  year = {2025},
  url = {https://arxiv.org/abs/2511.15069},
  note = {Source identifier: 2511.15069}
}