wyt2000

wyt2000's Stars

• deepseek-ai/DeepSeek-V3

  Language:Python85k67338113.7k

• deepseek-ai/DeepSeek-R1

  76.1k5523479.8k

• microsoft/BitNet

  Official inference framework for 1-bit LLMs

  Language:C++12.7k135101891

• zhangchenchen/self-consistent-coder

  如何成为一名自洽的程序员

  Language:Shell1.9k61190

• XUANTIE-RV/openc910

  OpenXuantie - OpenC910 Core

  Language:Verilog1.2k4530320

• SocialAI-tianji/Tianji

  制作懂人情世故的大语言模型 | 涵盖提示词工程、RAG、Agent、LLM微调教程

  Language:Python1.1k6986

• JusticeFighterDance/JusticeFighter110

  田柯宇 (Tian Keyu)恶意攻击集群事件的证据揭露

  661153142

• zhanshijinwat/Steel-LLM

  Train a 1B LLM with 1T tokens from scratch by personal

  Language:Python52510759

• ckcz123/mota-js

  HTML5魔塔样板，支持全平台游戏！ 即使完全不会编程的用户，按照模板和说明文档也能很快做出一个魔塔游戏！

  Language:JavaScript4961759109

• mit-han-lab/qserve

  QServe: W4A8KV4 Quantization and System Co-design for Efficient LLM Serving

  Language:Python49584130

• IBM/data-prep-kit

  Open source project for data preparation of LLM application builders

  Language:HTML49417378172

• Paper-Proof/paperproof

  Lean theorem proving interface which feels like pen-and-paper proofs.

  Language:TypeScript38693310

• LiveCodeBench/LiveCodeBench

  Official repository for the paper "LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code"

  Language:Python31375549

• teorth/equational_theories

  A project to map out the relations between different equational theories of Magmas.

  Language:C295424867

• leanprover-community/aesop

  White-box automation for Lean 4

  Language:Lean23596730

• wellecks/naturalproofs

  NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)

  Language:Python1277012

• loganrjmurphy/LeanEuclid

  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.

  Language:Lean84715

• trishullab/PutnamBench

  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

  Language:Lean8241712

• albertqjiang/draft_sketch_prove

  Language:Python644310

• stanford-centaur/PyPantograph

  A Machine-to-Machine Interaction System for Lean 4.

  Language:Python5142615

• wellecks/naturalprover

  NaturalProver: Grounded Mathematical Proof Generation with Language Models

  Language:Python36311

• Lagooon/LeanSTaR

  Language:Python30232

• jinpz/dtv

  The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization

  Language:Python24107

• rookie-joe/PDA

  Language:Python24110

• scaleapi/plansearch

  e

  Language:Jupyter Notebook21312

• kolya-vasiliev/logical-foundations-2018

  My solutions to exercises in "Logical Foundations" (2018-2019)

  Language:Coq10306

• Miracle-Messi/Isa-AutoFormal

  Language:Python10201

• haoxiongliu/ProofAug

  "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" official implementation.

  Language:Python4

• IPRC-DIP/llmkit

  sharing detailed logs, reports, and insights from various experiments conducted with LLMs.

  Language:Shell1

• karin0018/GenAL

  Codes for "GenAL: Generative Agent for Adaptive Learning" (AAAI'2025)

  Language:Python10