"au:"Suozhi Huang"" — arXiv2 Search

/ Date/ Name

/ Date/ Name

"au:"Suozhi Huang"" — arXiv2 Search

Showing 1–6 of 6 results

/ Date/ Name

Feb 25, 2025LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction Mar 8, 2024ActFormer: Scalable Collaborative Perception via Active Queries Nov 29, 2025CryptoBench: A Dynamic Benchmark for Expert-Level Evaluation of LLM Agents in Cryptocurrency Jan 18, 2026FutureX-Pro: Extending Future Prediction to High-Value Vertical Domains Oct 21, 2024InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search May 10, 2025Gated Attention for Large Language Models: Non-linearity, Sparsity, and Attention-Sink-Free