Showing 2026Show all
3 papers · 1 filter
cs.LG2026
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…
cs.SC2026
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…
math.CA2026
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…