-
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning
score 10
入选 HF Daily Papers;HF 热度: 63 upvotes (+4);有代码实现;关键词(4): MoE, agentic, reasoning, open-source
-
F4Splat: Feed-Forward Predictive Densification for Feed-Forward 3D Gaussian Splatting
score 10
入选 HF Daily Papers;HF 热度: 31 upvotes (+4);有代码实现;关键词(1): real-time
-
RoboAlign: Learning Test-Time Reasoning for Language-Action Alignment in Vision-Language-Action Models
score 8
入选 HF Daily Papers;HF 热度: 21 upvotes (+4);关键词(4): reasoning, vision-language, robotics, embodied
-
PivotRL: High Accuracy Agentic Post-Training at Low Compute Cost
score 7
入选 HF Daily Papers;HF 热度: 12 upvotes (+3);关键词(5): production, fine-tuning, post-training, agentic, coding
-
Generalized Discrete Diffusion from Snapshots
score 7
入选 HF Daily Papers;HF 热度: 7 upvotes (+2);有代码实现
-
FluidWorld: Reaction-Diffusion Dynamics as a Predictive Substrate for World Models
score 5
入选 HF Daily Papers;有代码实现