:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Xiong, Beibei, Lv, Hangyu, Liu, Junqi, Wang, Yisen, Chen, Shaoshi, Wang, Jianlin, Yang, Zhengfeng, Zhi, Lihong
Format:	Preprint
Published:	2026
Subjects:	Machine Learning
Online Access:	https://arxiv.org/abs/2605.04472
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation
by: Xiong, Beibei, et al.
Published: (2025)

How to generate all possible rational Wilf-Zeilberger forms?
by: Chen, Shaoshi, et al.
Published: (2024)

Symbolic Integration of Differential Forms: From Abel to Zeilberger
by: Chen, Shaoshi, et al.
Published: (2026)

A Formal Proof of the Irrationality of $ζ(3)$ in Lean 4
by: Liu, Junqi, et al.
Published: (2025)

Wilf-Zeilberger seeds and non-trivial hypergeometric identities
by: Au, Kam Cheong
Published: (2023)

Discovering hypergeometric series with harmonic numbers via Wilf-Zeilberger seeds
by: Au, Kam Cheong
Published: (2026)

From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates
by: Zuo, Ruobing, et al.
Published: (2026)

CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
by: Liu, Junqi, et al.
Published: (2025)

$q$-analogues of Wilf-Zeilberger seeds and Ramanujan $1/π^k$-formulas
by: Au, Kam Cheong
Published: (2024)

Formalizing Gröbner Basis Theory in Lean
by: Guo, Junyu, et al.
Published: (2026)

Automated Tactics for Polynomial Reasoning in Lean 4
by: Shen, Hao, et al.
Published: (2026)

Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving
by: Qiu, Ruichen, et al.
Published: (2026)

On the Summability Problem of Multivariate Rational Functions in the Mixed Case
by: Chen, Shaoshi, et al.
Published: (2026)

Automated Proof of Polynomial Inequalities via Reinforcement Learning
by: Liu, Banglong, et al.
Published: (2025)

CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization
by: Shi, Shuming, et al.
Published: (2025)

Proof of a conjecture on the shape-Wilf-equivalence for partially ordered patterns
by: Wang, Lintong, et al.
Published: (2025)

Non-minimality of minimal telescopers explained by residues
by: Chen, Shaoshi, et al.
Published: (2025)

Generalization and Probabilistic Proofs of Some Combinatorial Identities
by: Vellaisamy, Palaniappan, et al.
Published: (2026)

Guidance Design for Escape Flight Vehicle Using Evolution Strategy Enhanced Deep Reinforcement Learning
by: Hu, Xiao, et al.
Published: (2024)

Combinatorial Proofs of Ismail's Identities on Al-Salam--Chirara Polynomials
by: Uncu, Ali K.
Published: (2026)

Formalizing Wu-Ritt Method in Lean 4
by: Xiao, Yuxuan, et al.
Published: (2026)

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
by: Liu, Junqi, et al.
Published: (2026)

An Algorithm for Diagonalizing Matrices of Formal Power Series
by: Dai, Zihao, et al.
Published: (2026)

Automated Formalization via Conceptual Retrieval-Augmented LLMs
by: Lu, Wangyue, et al.
Published: (2025)

Bijections for generalized Wilf equivalences
by: Ferreri, Melanie
Published: (2024)

Combinatorial Proofs for Overpartitions and Two-Colored Partitions II
by: Chen, Dandan, et al.
Published: (2025)

Advancing Speech Summarization in Multi-modal LLMs with Reinforcement Learning
by: Ling, Shaoshi, et al.
Published: (2025)

A Unified Proof of Three Combinatorial Identities Related to the Stirling Numbers of the Second Kind
by: He, Chun-Ying, et al.
Published: (2025)

On Formality and Combinatorial Formality for hyperplane arrangements
by: Möller, Tilman, et al.
Published: (2022)

Palindrome Partitions and the Calkin-Wilf Tree
by: Hemmer, David J., et al.
Published: (2024)

Power series expansion of Wilf function
by: Qi, Feng
Published: (2021)

Translating Informal Proofs into Formal Proofs Using a Chain of States
by: Wang, Ziyu, et al.
Published: (2025)

Long-Short Alignment for Effective Long-Context Modeling in LLMs
by: Du, Tianqi, et al.
Published: (2025)

Meeting a Challenge raised by Ekhad and Zeilberger related to Stern's Triangle
by: Tang, Jinlong, et al.
Published: (2025)

Flip Graphs for Polynomial Multiplication
by: Chen, Shaoshi, et al.
Published: (2025)

Combinatorial Optimization with Automated Graph Neural Networks
by: Liu, Yang, et al.
Published: (2024)

Multi‐objective stiffness and mass optimization of bio‐inspired hierarchical grid‐honeycomb sandwich structures with cutouts considering buckling constraints
by: Hangyu Lv, et al.
Published: (2024)

Towards Automated Formal Verification of Backend Systems with LLMs
by: Xu, Kangping, et al.
Published: (2025)

Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically
by: Dong, Kefan, et al.
Published: (2024)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
by: Ma, Zhi, et al.
Published: (2025)