Alternatives and similar repositories for VeriThoughts

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

• GATECH-EIC / LLM4HWDesign_Starting_Toolkit
  LLM4HWDesign Starting Toolkit
  ☆18Updated last year
• 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 3 months ago
• GATECH-EIC / mg-verilog
  ☆50Updated last year
• stable-lab / MAGE
  MAGE: A Multi-Agent Engine for Automated RTL Code Generation
  ☆72Updated 7 months ago
• Infini-AI-Lab / Sirius
  Sirius, an efficient correction mechanism, which significantly boosts Contextual Sparsity models on reasoning tasks while maintaining its…
  ☆21Updated last year
• sail-sg / LongSpec
  LongSpec: Long-Context Lossless Speculative Decoding with Efficient Drafting and Verification
  ☆67Updated 4 months ago
• tsinghua-ideal / Twilight
  [NeurIPS'25 Spotlight] Adaptive Attention Sparsity with Hierarchical Top-p Pruning
  ☆67Updated last week
• 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
• VITA-Group / Q-Hitter
  ☆15Updated last year
• zyxxmu / cam
  Pytorch implementation of our paper accepted by ICML 2024 -- CaM: Cache Merging for Memory-efficient LLMs Inference
  ☆47Updated last year
• pku-liang / ArkVale
  ArkVale: Efficient Generative LLM Inference with Recallable Key-Value Eviction (NIPS'24)
  ☆44Updated 11 months ago
• pzs19 / TokenSelect
  ☆15Updated 8 months ago
• PingchengDong / GQA-LUT
  The official implementation of the DAC 2024 paper GQA-LUT
  ☆20Updated 11 months ago
• andy-yang-1 / DoubleSparse
  16-fold memory access reduction with nearly no loss
  ☆107Updated 7 months ago
• IPRC-DIP / CodeV
  ☆52Updated 2 months ago
• Jingyu6 / speculative_prefill
  ☆46Updated 6 months ago
• hyx1999 / SAM-Decoding
  Official Implementation of SAM-Decoding: Speculative Decoding via Suffix Automaton
  ☆36Updated 9 months ago
• thunlp / TritonBench
  TritonBench: Benchmarking Large Language Model Capabilities for Generating Triton Operators
  ☆95Updated 5 months ago
• hdong920 / LESS
  ☆53Updated last year
• Qualcomm-AI-research / gptvq
  ☆37Updated last year
• ucb-bar / autocomp
  Autocomp: AI Code Optimizer for Tensor Accelerators
  ☆36Updated this week
• kssteven418 / BigLittleDecoder
  [NeurIPS'23] Speculative Decoding with Big Little Decoder
  ☆95Updated last year
• HaoKang-Timmy / LatencySensitiveBench
  First Latency-Aware Competitive LLM Agent Benchmark
  ☆23Updated 5 months ago
• uwsampl / paper-agents
  ☆13Updated 11 months ago
• LLMkvsys / rethink-kv-compression
  ☆20Updated 8 months ago
• LiuXiaoxuanPKU / OSD
  ☆60Updated 11 months ago
• HPAI-BSC / TuRTLe
  TuRTLe: A Unified Evaluation of LLMs for RTL Generation 🐢 (MLCAD 2025)
  ☆34Updated last week
• hdong920 / GRIFFIN
  ☆39Updated last year
• NonvolatileMemory / GliDe_with_a_CaPE_ICML_24
  official code for GliDe with a CaPE
  ☆18Updated last year