arXiv - CSCL: "Towards Autoformalization of Mathematics and Code…" - CleverLibre Social

arXiv - CSCL @arxiv_cscl@social.cleverlibre.org

Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs. (arXiv:2301.02195v1 [cs.CL])

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

Jan 07, 2023, 03:06 · · arxiv-cscl · · ·

Sign in to participate in the conversation