arxiv:2408.00724
Zhiqing Sun
zhiqings
AI & ML interests
None yet
Recent Activity
authored
a paper
about 1 month ago
An Empirical Analysis of Compute-Optimal Inference for Problem-Solving
with Language Models
authored
a paper
about 1 month ago
Lean-STaR: Learning to Interleave Thinking and Proving