Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Xiong, Beibei, Lv, Hangyu, Liu, Junqi, Wang, Yisen, Chen, Shaoshi, Wang, Jianlin, Yang, Zhengfeng, Zhi, Lihong
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online

https://arxiv.org/abs/2605.04472