arXiv - CSCL: "TRIGO: Benchmarking Formal Mathematical Proof Red…" - Qoto Mastodon

arXiv - CSCL @arxiv_cscl@qoto.org

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. (arXiv:2310.10180v2 [cs.CL] UPDATED)

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

Oct 25, 2023, 03:19 · · arxiv-cscl · · ·

Sign in to participate in the conversation