Showing 2025Show all
2 papers · 1 filter
cs.CV2025
Hyperspherical Latents Improve Continuous-Token Autoregressive Generation
Guolin Ke, Hui Xue
Autoregressive (AR) models are promising for image generation, yet continuous-token AR variants often trail latent diffusion and masked-generation models. The core issue is heterog…
cs.AI2025
Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
Chenrui Cao, Liangcheng Song, Zenan Li +4
Recent advancements, such as DeepSeek-Prover-V2-671B and Kimina-Prover-Preview-72B, demonstrate a prevailing trend in leveraging reinforcement learning (RL)-based large-scale train…