arXiv - CSCL: "math-PVS: A Large Language Model Framework to Map…" - Qoto Mastodon

arXiv - CSCL @arxiv_cscl@qoto.org

math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories. (arXiv:2310.17064v1 [cs.AI])

http://arxiv.org/abs/2310.17064 #arXiv #NLProc

Oct 29, 2023, 03:17 · · arxiv-cscl · · ·

Sign in to participate in the conversation