Skip to content
@FCAI-Lab

FCAI Lab at Yonsei University

Formal Computing and AI Lab at Yonsei University, South Korea

Popular repositories Loading

  1. etcd-io_raft etcd-io_raft Public

    Forked from etcd-io/raft

    Raft library for maintaining a replicated state machine

    Go 2 2

  2. ModelDiff ModelDiff Public

    Forked from yuanchun-li/ModelDiff

    Modeldiff LeSN-Lab Quantization

    Python 1 1

  3. 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

  4. data_poisoning_detection_conformal data_poisoning_detection_conformal Public

    Data Poisoning Detection with Conformal Methods

    Jupyter Notebook 1

  5. DeepArc DeepArc Public

    PureBasic 1

  6. ERAN ERAN Public

    ERAN is a tool that verify Robustness of Model(FFNN, CNN, etc.)

    HTML

Repositories

Showing 10 of 14 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…