Skip to content

@FCAI-Lab FCAI Lab at Yonsei University

Change the repository type filter

All

    Repositories list

    8 repositories

    • perennial

      Public
      Social-media-library
      Rocq Prover
      •
      MIT License
      •0•0•0•0•Updated Apr 15, 2026Apr 15, 2026

    • diff-ViT

      Public
      Jupyter Notebook
      •
      Apache License 2.0
      •2•0•0•0•Updated Nov 4, 2024Nov 4, 2024

    • jax-gptq

      Public
      JAX implementation of GPTQ quantization algorithm
      Python
      •
      MIT License
      •4•0•0•0•Updated Jul 30, 2024Jul 30, 2024

    • ModelDiff

      Public
      Modeldiff LeSN-Lab Quantization
      Python
      •
      MIT License
      •6•1•0•0•Updated Jun 21, 2024Jun 21, 2024

    • etcd-io_raft

      Public
      Raft library for maintaining a replicated state machine
      Go
      •
      Apache License 2.0
      •237•1•0•0•Updated May 31, 2024May 31, 2024

    • RepDistiller

      Public
      [ICLR 2020] Contrastive Representation Distillation (CRD), and benchmark of recent knowledge distillation methods
      Python
      •
      BSD 2-Clause "Simplified" License
      •400•0•0•0•Updated Mar 10, 2024Mar 10, 2024

    • eran-head

      Public
      fork version for another branch(head)
      JetBrains MPS
      •
      Apache License 2.0
      •107•0•0•0•Updated Feb 20, 2024Feb 20, 2024

    • nnrepair

      Public
      NNrepair is a constraint-based technique that uses fault localization to identify potentially faulty network parameters and makes small modifications to resolve…
      Java
      •6•1•0•0•Updated Dec 1, 2023Dec 1, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.