Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Liu, Chengwu, Yuan, Ye, Yin, Yichun, Xu, Yan, Xu, Xin, Chen, Zaoyu, Wang, Yasheng, Shang, Lifeng, Liu, Qun, Zhang, Ming
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Computation and Language Artificial Intelligence Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Descrizione
Descrizione non disponibile.

Documenti analoghi