Deductive Verification for Chain-of-Thought Reasoning in LLMs(arxiv.org)56 points by smooke 2 years ago | 6 comments
Talaria: Interactively Optimizing Machine Learning Models for Efficient Inferenc(arxiv.org)30 points by quantisan 2 years ago | 3 comments
Synthesizing Abstract Transformers for Reduced-Product Domains(arxiv.org)23 points by luu 2 years ago | 0 comments
CODA: Rewriting Transformer Blocks as GEMM-Epilogue Programs(arxiv.org)96 points by matt_d 5 months ago | 12 comments
TokenFormer: Rethinking Transformer Scaling with Tokenized Model Parameters(arxiv.org)170 points by og_kalu 2 years ago | 28 comments
Transformers Are Inherently Succinct (2025)(arxiv.org)45 points by bearseascape 5 months ago | 6 comments