LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning
Paper • 2603.21065 • Published • 77
mqhuang
LutherXD
AI & ML interests
None yet
Recent Activity
Organizations
upvoted a paper 11 days ago
upvoted 6
papers 2 months ago
FourierSampler: Unlocking Non-Autoregressive Potential in Diffusion Language Models via Frequency-Guided Generation
Paper • 2601.23182 • Published • 21
AgentLongBench: A Controllable Long Benchmark For Long-Contexts Agents via Environment Rollouts
Paper • 2601.20730 • Published • 20
TL-GRPO: Turn-Level RL for Reasoning-Guided Iterative Optimization
Paper • 2601.16480 • Published • 51
LongCat-Flash-Thinking-2601 Technical Report
Paper • 2601.16725 • Published • 179
EvoCUA: Evolving Computer Use Agents via Learning from Scalable Synthetic Experience
Paper • 2601.15876 • Published • 92
HERMES: KV Cache as Hierarchical Memory for Efficient Streaming Video Understanding
Paper • 2601.14724 • Published • 75
upvoted 2
papers 4 months ago
upvoted 3
papers 10 months ago
LongLLaDA: Unlocking Long Context Capabilities in Diffusion LLMs
Paper • 2506.14429 • Published • 44
Beyond Homogeneous Attention: Memory-Efficient LLMs via Fourier-Approximated KV Cache
Paper • 2506.11886 • Published • 20
Domain2Vec: Vectorizing Datasets to Find the Optimal Data Mixture without Training
Paper • 2506.10952 • Published • 22
upvoted a paper about 1 year ago