FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yu, Zhouliang, Peng, Ruotian, Ding, Keyi, Li, Yizhe, Peng, Zhongyuan, Liu, Minghao, Zhang, Yifan, Yuan, Zheng, Xin, Huajian, Huang, Wenhao, Wen, Yandong, Zhang, Ge, Liu, Weiyang
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Keine Beschreibung verfügbar.

Ähnliche Einträge