TY  - RPRT
TI  - Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
AU  - Anil Nerode
AU  - Yanhong A. Liu
PY  - 2026
UR  - https://arxiv.org/abs/2410.19738
ID  - 2410.19738
ER  -