Zhengying Liu
- Papers
- 11
Cite
Notes
Only stored in your browser.
Authored papers
11Kimi K2.5: Visual Agentic Intelligence
arXiv 2026
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
arXiv 2025
Process-Driven Autoformalization in Lean 4
arXiv 2024
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
arXiv 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
arXiv 2024
A Survey of Reasoning with Foundation Models
arXiv 2023
Progressive-Hint Prompting Improves Reasoning in Large Language Models
https-arxiv-org-abs-2304-09797
Lyra: Orchestrating Dual Correction in Automated Theorem Proving
arXiv 2023
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
arXiv 2023
MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models
arXiv 2023
FIMO: A Challenge Formal Dataset for Automated Theorem Proving
arXiv 2023
Affiliations
Frequent co-authors
10from 11 papers