Zhengying Liu
14 papers · 2020–2025 · 5 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (29) π Academic Marathon Β· Sprint π Conference Polyglot Β· Silver π Interdisciplinary Bridge Β· Gold π£ Hot Topic Early Bird
π
Keyword Champion
(4)
π₯
Mega-Team Β· Squad
π
Renaissance Researcher
(5)
β‘
Prolific Year Β· Productive
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(69)
Venues
Top co-authors
Research topics
Artificial Intelligence
(12)
Core AI
(10)
Machine Learning
(6)
Deep Learning
(5)
Optimization & Theory
(5)
Natural Language Processing
(4)
Knowledge & Reasoning
(3)
Models
(3)
Reasoning
(3)
Resources & Methods
(3)
Mathematics & Optimization
(2)
Architectures
(2)
Core Methods
(2)
Learning Paradigms
(2)
Learning Types
(2)
Keywords
large language model
(8)
mathematical reasoning
(5)
language model
(4)
automated theorem proving
(4)
theorem proving
(3)
formal proof
(3)
formal verification
(3)
automated reasoning
(2)
neural theorem proving
(2)
proof search
(2)
synthetic data generation
(1)
program verification
(1)
semantic alignment
(1)
knowledge reuse
(1)
model safety
(1)
program synthesis
(1)
natural language processing
(1)
monte carlo tree search
(1)
recursive reasoning
(1)
majority voting
(1)
Papers
FormalAlign: Automated Alignment Evaluation for Autoformalization
ICLR 2025
ToolACE: Winning the Points of LLM Function Calling
ICLR 2025
ATG: Benchmarking Automated Theorem Generation for Generative Language Models
NAACL 2024
Forward-Backward Reasoning in Large Language Models for Mathematical Verification
ACL 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
NeurIPS 2024
Gaining Wisdom from Setbacks: Aligning Large Language Models via Mistake Analysis
ICLR 2024
Large Language Models as Automated Aligners for benchmarking Vision-Language Models
ICLR 2024
LEGO-Prover: Neural Theorem Proving with Growing Libraries
ICLR 2024
MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models
ICLR 2024
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
ICLR 2024
Proving Theorems Recursively
NeurIPS 2024
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function
ACL 2023
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
EMNLP 2023
Deep Statistical Solvers
NeurIPS 2020