Jin Peng Zhou
- Papers
- 5
Cite
Notes
Only stored in your browser.
5papers
Authored papers
5Value-Guided Search for Efficient Chain-of-Thought Reasoning
arXiv 2025
REFACTOR: Learning to Extract Theorems from Proofs
refactor-learning-to-extract-theorems-from
On Speeding Up Language Model Evaluation
arXiv 2024
Unsupervised Out-of-Distribution Detection with Diffusion Inpainting
arXiv 2023
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
arXiv 2022
Affiliations
No known affiliations.
Frequent co-authors
10from 5 papers