HierSVA: A Data Synthesis Pipeline, Dataset, and Benchmark for LLM-Driven Hierarchical Hardware Formal Verification Paper • 2606.13706 • Published Jun 9
Local Linear Attention: An Optimal Interpolation of Linear and Softmax Attention For Test-Time Regression Paper • 2510.01450 • Published Oct 1, 2025 • 2
Parallax: Parameterized Local Linear Attention for Language Modeling Paper • 2605.29157 • Published May 27 • 11
Parallax: Parameterized Local Linear Attention for Language Modeling Paper • 2605.29157 • Published May 27 • 11
ReMix: Reinforcement routing for mixtures of LoRAs in LLM finetuning Paper • 2603.10160 • Published Mar 10 • 26