Zhengying Liu
14 papers · 2020–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
π Academic Marathon (5) π§ Keyword Pioneer π Interdisciplinary Bridge π Conference Polyglot (5) π Cross-Pollinator (13)
π
Academic Marathon
(5)
πΊοΈ
Taxonomy Completionist
(21)
π
Cross-Pollinator
(13)
π₯
Mega-Team
(27)
π
Keyword Champion
(2)
π
Century Club
(14)
β‘
Prolific Year
(9)
Conferences
ICLR (7)
NIPS (3)
ACL (2)
EMNLP (1)
NAACL (1)
Top co-authors
Keywords
large language model
(4)
language model
(4)
automated theorem proving
(4)
mathematical reasoning
(3)
proof search
(2)
automated reasoning
(2)
formal verification
(2)
theorem proving
(2)
tree search
(1)
recursive reasoning
(1)
program verification
(1)
recursive algorithm
(1)
majority voting
(1)
monte-carlo tree search
(1)
program synthesis
(1)
model fine-tuning
(1)
molecular dynamics
(1)
value function
(1)
recursive proof
(1)
knowledge reuse
(1)
Papers
ToolACE: Winning the Points of LLM Function Calling
ICLR 2025
FormalAlign: Automated Alignment Evaluation for Autoformalization
ICLR 2025
Proving Theorems Recursively
NIPS 2024
Forward-Backward Reasoning in Large Language Models for Mathematical Verification
ACL 2024
Large Language Models as Automated Aligners for benchmarking Vision-Language Models
ICLR 2024
MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models
ICLR 2024
LEGO-Prover: Neural Theorem Proving with Growing Libraries
ICLR 2024
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
ICLR 2024
Gaining Wisdom from Setbacks: Aligning Large Language Models via Mistake Analysis
ICLR 2024
ATG: Benchmarking Automated Theorem Generation for Generative Language Models
NAACL 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
NIPS 2024
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
EMNLP 2023
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function
ACL 2023
Deep Statistical Solvers
NIPS 2020