tukamilano

tukamilano's Stars

• auto-res/HTPS-RAG

  Language:Python4

• lean-ja/lean-by-example

  コード例で学ぶ Lean 言語

  Language:Lean477

• qiskit-community/ibm-quantum-challenge-2024

  For IBM Quantum Challenge 2024 (5-14 June 2024)

  Language:Jupyter Notebook164238

• hatakeyama-llm-team/llm

  Language:Python111

• KanHatakeyama/JapaneseWarcParser

  Language:Jupyter Notebook152

• kyegomez/BitNet

  Implementation of "BitNet: Scaling 1-bit Transformers for Large Language Models" in pytorch

  Language:Python1.7k150

• syuntoku14/Shumi-Note

  勉強した内容のアウトプット用

  Language:Jupyter Notebook453

• ymgaq/Pyaq

  PyaqはPythonのみで実装された囲碁プログラムです。深層学習を学ぶための教育目的のコードです。

  Language:Python11921

• sotetsuk/pgx

  ♟️ Vectorized RL game environments in JAX (NeurIPS23)

  Language:Python40225

• llm-attacks/llm-attacks

  Universal and Transferable Attacks on Aligned Language Models

  Language:Python3.4k473

• yuma-mizuno/lean-math-workshop

  数学系のためのLean勉強会

  Language:Lean6821

• Jamie-Stirling/RetNet

  An implementation of "Retentive Network: A Successor to Transformer for Large Language Models"

  Language:Python1.2k100

• t46/mock-pipeline

  Language:Python2

• leanprover-community/lean4-metaprogramming-book

  Language:Lean21755

• lean-dojo/ReProver

  Retrieval-Augmented Theorem Provers for Lean

  Language:Python22350

• kyegomez/tree-of-thoughts

  Plug in and Play Implementation of Tree of Thoughts: Deliberate Problem Solving with Large Language Models that Elevates Model Reasoning by atleast 70%

  Language:Python4.3k361

• Simontwice/MagnusData

  Premise Selection Data in Isabelle

  Language:Python10

• machelreid/diffuser

  DiffusER: Discrete Diffusion via Edit-based Reconstruction (Reid, Hellendoorn & Neubig, 2022)

  54

• kaicho8636/pyprover

  Python-based theorem prover

  Language:Python3

• MoAI-Dev-Team/MoAI

  An automated theorem discovery system

  Language:Haskell21