Zhengying Liu
~Zhengying_Liu2
12
论文总数
6.0
年均投稿
平均评分
接收情况8/12
会议分布
ICLR
11
NeurIPS
1
发表论文 (12 篇)
20254 篇
20248 篇
4
Proving Theorems Recursively
NeurIPS 2024Poster
3
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
ICLR 2024Spotlight
4
Lyra: Orchestrating Dual Correction in Automated Theorem Proving
ICLR 2024Rejected
4
LEGO-Prover: Neural Theorem Proving with Growing Libraries
ICLR 2024Oral
3
Forward-Backward Reasoning in Large Language Models for Mathematical Verification
ICLR 2024Rejected
3
Large Language Models as Automated Aligners for benchmarking Vision-Language Models
ICLR 2024Poster
4
MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models
ICLR 2024Spotlight
4
Gaining Wisdom from Setbacks: Aligning Large Language Models via Mistake Analysis
ICLR 2024Poster