Alternatives and similar repositories for VeriThoughts

Users that are interested in VeriThoughts are comparing it to the libraries listed below

• cornell-zhang / llm-datatypes
  Codebase for ICML'24 paper: Learning from Students: Applying t-Distributions to Explore Accurate and Efficient Formats for LLMs
  ☆27Updated last year
• GATECH-EIC / LLM4HWDesign_Starting_Toolkit
  LLM4HWDesign Starting Toolkit
  ☆18Updated last year
• Infini-AI-Lab / Sirius
  Sirius, an efficient correction mechanism, which significantly boosts Contextual Sparsity models on reasoning tasks while maintaining its…
  ☆21Updated last year
• tsinghua-ideal / Twilight
  [NeurIPS'25 Spotlight] Adaptive Attention Sparsity with Hierarchical Top-p Pruning
  ☆75Updated 2 weeks ago
• GATECH-EIC / mg-verilog
  ☆51Updated last year
• VITA-Group / Q-Hitter
  ☆15Updated last year
• thunlp / TritonBench
  TritonBench: Benchmarking Large Language Model Capabilities for Generating Triton Operators
  ☆98Updated 6 months ago
• SqueezeAILab / SqueezedAttention
  [ACL 2025] Squeezed Attention: Accelerating Long Prompt LLM Inference
  ☆54Updated last year
• DerrickYLJ / TidalDecode
  [ICLR 2025] TidalDecode: A Fast and Accurate LLM Decoding with Position Persistent Sparse Attention
  ☆49Updated 4 months ago
• stable-lab / MAGE
  MAGE: A Multi-Agent Engine for Automated RTL Code Generation
  ☆75Updated 8 months ago
• pku-liang / ArkVale
  ArkVale: Efficient Generative LLM Inference with Recallable Key-Value Eviction (NIPS'24)
  ☆49Updated 11 months ago
• sail-sg / LongSpec
  LongSpec: Long-Context Lossless Speculative Decoding with Efficient Drafting and Verification
  ☆68Updated 5 months ago
• AutoBench / AutoBench
  ☆33Updated 8 months ago
• zyxxmu / cam
  Pytorch implementation of our paper accepted by ICML 2024 -- CaM: Cache Merging for Memory-efficient LLMs Inference
  ☆47Updated last year
• Crys-Chen / DPad
  Official implementation of "DPad: Efficient Diffusion Language Models with Suffix Dropout"
  ☆53Updated 3 weeks ago
• PingchengDong / GQA-LUT
  The official implementation of the DAC 2024 paper GQA-LUT
  ☆20Updated 11 months ago
• ucb-bar / autocomp
  Autocomp: AI Code Optimizer for Tensor Accelerators
  ☆50Updated last week
• IPRC-DIP / RealBench
  ☆24Updated 4 months ago
• Kaffaljidhmah2 / SpecDec_pp
  Repository for the COLM 2025 paper SpecDec++: Boosting Speculative Decoding via Adaptive Candidate Lengths
  ☆14Updated 5 months ago
• HaoKang-Timmy / LatencySensitiveBench
  First Latency-Aware Competitive LLM Agent Benchmark
  ☆25Updated 6 months ago
• NVlabs / RTLFixer
  Fix syntax errors of LLM-generated RTL
  ☆39Updated last year
• IPRC-DIP / CodeV
  ☆53Updated 3 months ago
• sail-sg / SimLayerKV
  The official implementation of paper: SimLayerKV: A Simple Framework for Layer-Level KV Cache Reduction.
  ☆52Updated last year
• magicYang1573 / llm-hardware-test-generation
  ☆33Updated last year
• cornell-zhang / HOGA
  Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits
  ☆34Updated last year
• Jingyu6 / speculative_prefill
  ☆47Updated 6 months ago
• andy-yang-1 / DoubleSparse
  16-fold memory access reduction with nearly no loss
  ☆109Updated 8 months ago
• hyx1999 / SAM-Decoding
  Official Implementation of SAM-Decoding: Speculative Decoding via Suffix Automaton
  ☆38Updated 10 months ago
• sspec-project / SparseSpec
  Accelerating Large-Scale Reasoning Model Inference with Sparse Self-Speculative Decoding
  ☆53Updated last week
• feifeibear / DPSKV3MFU
  Estimate MFU for DeepSeekV3
  ☆26Updated 11 months ago