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