7 papers
Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs
Beibei Xiong, Hangyu Lv, Junqi Liu +5
Automating formal proofs of combinatorial identities is challenging for LLM-based provers, as long-horizon proof planning is required and unconstrained search quickly explodes. Sym…
Symbolic Integration in Weierstrass-like Extensions
Shaoshi Chen, Manuel Kauers, Wenqiao Li +2
This paper studies the integration problem in differential fields that may involve quantities reminiscent of the Weierstrass function, which are defined by a first-order nonl…
Symbolic Integration of Differential Forms: From Abel to Zeilberger
Shaoshi Chen, David A. Cox, Yisen Wang
This paper focuses on symbolic integration of differential forms, with a particular emphasis on historical and modern developments, from Abel's addition theorems for Abelian integr…
Creative Telescoping
Shaoshi Chen, Manuel Kauers, Christoph Koutschan
These notes on creative telescoping are based on a series of lectures at the Institut Henri Poincare in November and December 2023.
Flip Graphs for Polynomial Multiplication
Shaoshi Chen, Manuel Kauers
Flip graphs were recently introduced in order to discover new matrix multiplication methods for matrix sizes. The technique applies to other tensors as well. In this paper, we expl…
Non-minimality of minimal telescopers explained by residues
Shaoshi Chen, Manuel Kauers, Christoph Koutschan +3
Elaborating on an approach recently proposed by Mark van Hoeij, we continue to investigate why creative telescoping occasionally fails to find the minimal-order annihilating operat…
How to generate all possible rational Wilf-Zeilberger forms?
Shaoshi Chen, Christoph Koutschan, Yisen Wang
Wilf-Zeilberger pairs are fundamental in the algorithmic theory of Wilf and Zeilberger for computer-generated proofs of combinatorial identities. Wilf-Zeilberger forms are their hi…