llylly

llylly's Stars

• deepseek-ai/DeepSeek-Coder

  DeepSeek Coder: Let the Code Write Itself

  Language:Python6.9k73160479

• joerick/pyinstrument

  🚴 Call stack profiler for Python. Shows you why your code is slow!

  Language:Python6.7k53166235

• salesforce/CodeGen

  CodeGen is a family of open-source model for program synthesis. Trained on TPU-v4. Competitive with OpenAI Codex.

  Language:Python4.9k8176381

• HazyResearch/data-centric-ai

  Resources for Data Centric AI

  Language:TeX1.1k697117

• hendrycks/robustness

  Corruption and Perturbation Robustness (ICLR 2019)

  Language:Python1k1455145

• tenpages/us-level

  Travel marker created following「**制霸生成器」by 卜卜口 (@itorr)

  Language:JavaScript25031859

• Verified-Intelligence/alpha-beta-CROWN

  alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)

  Language:Python248147660

• interviewcoder/leetcode

  Leetcode solutions, code skeletons, and unit tests in Java (in progress)

  Language:Java9011035

• inspire-group/PatchGuard

  Code for paper "PatchGuard: A Provably Robust Defense against Adversarial Patches via Small Receptive Fields and Masking"

  Language:Python64413

• KaidiXu/Beta-CROWN

  β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification

  30516

• AI-secure/Transferability-Reduced-Smooth-Ensemble

  Language:Python22388

• AI-secure/semantic-randomized-smoothing

  [CCS 2021] TSS: Transformation-specific smoothing for robustness certification

  Language:Roff21313

• infi-coder/infibench-evaluator

  The evaluation framework for the InfiCoder-Eval benchmark.

  Language:Python19311

• sokcertifiedrobustness/sokcertifiedrobustness.github.io

  Keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets

  Language:SCSS17315

• eth-sri/deepg

  Certifying Geometric Robustness of Neural Networks

  Language:Python15717

• Jacob-yen/GRIST

  This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-propagation.

  Language:Python13206

• llylly/RANUM

  [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.

  Language:Python12402

• tcwangshiqi-columbia/GCP-CROWN

  The official repo for GCP-CROWN paper

  12200

• sokcertifiedrobustness/VeriGauge-deprecated

  Language:C11511

• pauls658/ReluDiff-ICSE2020-Artifact

  Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"

  Language:Python10212

• AI-secure/CROP

  [ICLR 2022] CROP: Certifying Robust Policies for Reinforcement Learning through Functional Smoothing

  Language:Python8212

• llylly/DSRS

  Code for Double Sampling Randomized Smoothing [ICML 2022]

  Language:Python8102

• AI-secure/COPA

  [ICLR 2022] COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks

  7201

• AI-secure/PSBA

  [ICML 2021] "Progressive-Scale Boundary Blackbox Attack via Projective Gradient Estimation" by Jiawei Zhang*, Linyi Li*, Huichen Li, Xiaolu Zhang, Shuang Yang, Bo Li

  Language:Python6211

• tinganchen/ClimbQ

  [NeurIPS 2022] ClimbQ: Class Imbalanced Quantization Enabling Robustness on Efficient Inferences

  Language:Python6300

• AI-secure/Certified-Fairness

  [NeurIPS 2022] Code for Certifying Some Distributional Fairness with Subpopulation Decomposition

  Language:Python5300

• AI-secure/Layerwise-Orthogonal-Training

  Language:Python5300

• chuwd19/Point-Cloud-Smoothing

  Language:Python4101

• HanjiangHu/metaroom_vnn_comp2023

  MetaRoom Benchmark in VNN-COMP 2023

  Language:Python4101

• csy530216/pg-zoo

  Code for "On the Convergence of Prior-Guided Zeroth-Order Optimization Algorithms"

  Language:Python3200