TY  - RPRT
TI  - math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories
AU  - Hassen Saidi
AU  - Susmit Jha
AU  - Tuhin Sahai
PY  - 2023
UR  - https://arxiv.org/abs/2310.17064
ID  - 2310.17064
ER  -