nathanael-fijalkow

nathanael-fijalkow's Stars

• rasbt/LLMs-from-scratch

  Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

  Language:Jupyter Notebook43.2k4281246k

• alshedivat/al-folio

  A beautiful, simple, clean, and responsive Jekyll theme for academics

  Language:HTML12.6k2762211.7k

• dottxt-ai/outlines

  Structured Text Generation

  Language:Python11.2k51738576

• Blealtan/efficient-kan

  An efficient pure-PyTorch implementation of Kolmogorov-Arnold Network (KAN).

  Language:Python4.3k3650387

• suragnair/alpha-zero-general

  A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

  Language:Jupyter Notebook4.1k1131831.1k

• modelscope/data-juicer

  Data processing for and with foundation models! 🍎 🍋 🌽 ➡️ ➡️🍸 🍹 🍷

  Language:Python4.1k20242224

• BeastByteAI/scikit-llm

  Seamlessly integrate LLMs into scikit-learn.

  Language:Python3.4k3459279

• aburkov/theLMbook

  This is the official repository for The Hundred-Page Language Models Book by Andriy Burkov

  Language:Jupyter Notebook1.4k1812205

• uiuc-focal-lab/syncode

  Efficient and general syntactical decoding for Large Language Models

  Language:Python24333422

• EvolutionGym/evogym

  A large-scale benchmark for co-optimizing the design and control of soft robots, as seen in NeurIPS 2021.

  Language:Python20583236

• IITH-Compilers/IR2Vec

  Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings

  Language:LLVM9283042

• binsec/xyntia

  Xyntia, the black-box deobfuscator

  Language:OCaml65712

• nathanael-fijalkow/DeepSynth

  General-purpose program synthesiser

  Language:Slash42627

• khalil-research/1D-ARC

  23153

• Allauzen/llm-iasd-2024

  Course for MASH and IASD masters @ PSL

  Language:Jupyter Notebook16200

• nathanael-fijalkow/LLM_from_scratch

  Coding a Transformer from scratch

  Language:Jupyter Notebook16302

• SynthesisLab/DeepSynth2

  General purpose program synthetiser with existing Programming By Examples (PBE) pipeline

  Language:Python15405

• rajarshi008/Scarlet

  Tool for learning linear temporal logic formulas using combinatorial approach

  Language:Python143122

• NathanaelBeau/CodeInsight

  The CodeInsight dataset is designed for code generation tasks, providing developers with expert-curated examples that bridge the gap between conceptual intent and functional code. Published @ACL24.

  Language:Python13100

• nathanael-fijalkow/Multi-Armed-Bandits

  Simple implementations of some algorithms for the multi-armed bandit problem and some plots to compare the algorithms

  Language:Jupyter Notebook5202

• SynthesisLab/Bolt

  Blazingly fast synthesis of LTL formulas!

  Language:Rust5211

• nathanael-fijalkow/MonteCarloTreeSearch

  Implementation of some Reinforcement Learning algorithms for the Tic Tac Toe game

  Language:Python4100

• bmouillon/LTL-Benchmarks

  Benchmarks for LTL Learning

  3

• debarshee2004/simple-local-rag

  Retrieval Augmented Generation using PyTorch and Transformers.

  Language:Jupyter Notebook3100

• SynthesisLab/wikicoder

  Synthesis of string manipulation programs from examples with outside knowledge!

  Language:Python3100

• bmouillon/BS-Benchmarks

  Benchmarks for Boolean Synthesis

  2

• bmouillon/GuaCaml

  A tool to solve Boolean Synthesis instances

  Language:OCaml2

• pvdhove/regularMemoryRequirements

  Algorithms that compute minimal memory structures to play optimally in two-player zero-sum games with regular reachability and safety objectives.

  Language:Jupyter Notebook1100

• SCRK16/WLstar

  L* for Weighted Automata

  Language:Python1

• SynthesisLab/shepherd

  effectively solving the random population control problem

  1230