Skip to content
@FCAI-Lab

FCAI Lab at Yonsei University

Formal Computing and AI Lab at Yonsei University, South Korea

Popular repositories Loading

  1. ModelDiff ModelDiff Public

    Forked from yuanchun-li/ModelDiff

    Modeldiff LeSN-Lab Quantization

    Python 1 1

  2. nnrepair nnrepair Public

    Forked from nnrepair/nnrepair

    NNrepair is a constraint-based technique that uses fault localization to identify potentially faulty network parameters and makes small modifications to resolve the faults.

    Java 1

  3. etcd-io_raft etcd-io_raft Public

    Forked from etcd-io/raft

    Raft library for maintaining a replicated state machine

    Go 1 1

  4. eran-head eran-head Public

    Forked from eth-sri/eran

    fork version for another branch(head)

    JetBrains MPS

  5. RepDistiller RepDistiller Public

    Forked from HobbitLong/RepDistiller

    [ICLR 2020] Contrastive Representation Distillation (CRD), and benchmark of recent knowledge distillation methods

    Python

  6. jax-gptq jax-gptq Public

    Forked from davisyoshida/jax-gptq

    JAX implementation of GPTQ quantization algorithm

    Python

Repositories

Showing 9 of 9 repositories
  • FANC Public Forked from uiuc-arc/FANC

    FANC is a tool for the proof transfer of incomplete verification

    FCAI-Lab/FANC's past year of commit activity
    C 0 Apache-2.0 5 0 0 Updated Sep 14, 2026
  • perennial Public

    Social-media-library

    FCAI-Lab/perennial's past year of commit activity
    Rocq Prover 0 MIT 0 0 0 Updated Apr 15, 2026
  • diff-ViT Public Forked from shihuihong214/P2-ViT
    FCAI-Lab/diff-ViT's past year of commit activity
    Jupyter Notebook 0 Apache-2.0 5 0 0 Updated Nov 4, 2024
  • jax-gptq Public Forked from davisyoshida/jax-gptq

    JAX implementation of GPTQ quantization algorithm

    FCAI-Lab/jax-gptq's past year of commit activity
    Python 0 MIT 4 0 0 Updated Jul 30, 2024
  • ModelDiff Public Forked from yuanchun-li/ModelDiff

    Modeldiff LeSN-Lab Quantization

    FCAI-Lab/ModelDiff's past year of commit activity
    Python 1 MIT 6 0 0 Updated Jun 21, 2024
  • etcd-io_raft Public Forked from etcd-io/raft

    Raft library for maintaining a replicated state machine

    FCAI-Lab/etcd-io_raft's past year of commit activity
    Go 1 Apache-2.0 285 0 0 Updated May 31, 2024
  • RepDistiller Public Forked from HobbitLong/RepDistiller

    [ICLR 2020] Contrastive Representation Distillation (CRD), and benchmark of recent knowledge distillation methods

    FCAI-Lab/RepDistiller's past year of commit activity
    Python 0 BSD-2-Clause 402 0 0 Updated Mar 10, 2024
  • eran-head Public Forked from eth-sri/eran

    fork version for another branch(head)

    FCAI-Lab/eran-head's past year of commit activity
    JetBrains MPS 0 Apache-2.0 116 0 0 Updated Feb 20, 2024
  • nnrepair Public Forked from nnrepair/nnrepair

    NNrepair is a constraint-based technique that uses fault localization to identify potentially faulty network parameters and makes small modifications to resolve the faults.

    FCAI-Lab/nnrepair's past year of commit activity
    Java 1 5 0 0 Updated Dec 1, 2023

Most used topics

Loading…