llylly

Computer Science (Deep Learning + Security + Software Verification) & Traveling, Geography, Chinese Phonology

Simon Fraser UniversityBurnaby, British Columbia, Canada

Pinned Repositories

Certified-Robustness-SoK-Oldver
This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets and paper categorization.
99 13 010
semantic-randomized-smoothing
[CCS 2021] TSS: Transformation-specific smoothing for robustness certification
Language:Roff21 3 13
VeriGauge
A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]
Language:C88 6 47
BachelorThesis
Language:TeX1 2 00
DSRS
Code for Double Sampling Randomized Smoothing [ICML 2022]
Language:Python8 1 02
ImageCompositing
Language:C++2 2 01
RANUM
[ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.
Language:Python12 4 02
Robustra
A method for training neural networks that are provably robust to adversarial attacks. [IJCAI 2019]
Language:Python10 1 02
thuthesis-mac
让ThuThesis在Mac上排版出符合格式要求的毕设论文.
Language:TeX6 2 10
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:Python248 14 7660

llylly's Repositories

llylly/RANUM
[ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.
Language:Python12 4 02
llylly/Robustra
A method for training neural networks that are provably robust to adversarial attacks. [IJCAI 2019]
Language:Python10 1 02
llylly/DSRS
Code for Double Sampling Randomized Smoothing [ICML 2022]
Language:Python8 1 02
llylly/thuthesis-mac
让ThuThesis在Mac上排版出符合格式要求的毕设论文.
Language:TeX6 2 10
llylly/ImageCompositing
Language:C++2 2 01
llylly/BachelorThesis
Language:TeX1 2 00
llylly/Algebratic-Data-Types-Extention-for-PicoML---CS421Proj
Language:OCaml2 0
llylly/AliyunOSSOpenAPIScript
Aliyun OSS Web APIs Specification in OpenAPI Format
2 0
llylly/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
llylly/data-Mining-Proj-1
Based on nyt_corpus dataset and using R language
Language:R3 0
llylly/FlowFree
Project for 2015 Summer Semester
Language:C++2 0
llylly/FTP_Project
网原FTP实验，参照RFC959实现，可使用系统远程连接和第三方FTP工具直接连接使用
Language:C++2 0
llylly/FusePS
FUSE Proj - PS Module (StorageTech Course Proj)
Language:C++2 0
llylly/GRIST
This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-propagation.
Language:Python0 0
llylly/HaskellCourseProj
Haskell Course Project: Number Guess Game
Language:Haskell2 0
llylly/KapuImageEditor
Small Qt-based Image Editor (Digital Image Processing Proj)
Language:C++2 0
llylly/LapisParser
The C++ Lapis Schema Parser and Tester
Language:HTML2 0
llylly/LapisServer
A Django server and front-end for Lapis parse and testing.
Language:Python2 0
llylly/LLaMA2-Accessory
An Open-source Toolkit for LLM Development, with some extensions
Language:Python0 0
llylly/NewsKok
An Android News Browse App
Language:Java2 0
llylly/onnx
Open standard for machine learning interoperability
Language:C++1 0
llylly/os_course_exercises
Exercises for OS course
Language:Shell2 0
llylly/RayTracing
Ray Tracing Project for Computer Graphics Course
Language:C++2 0
llylly/SammingCPU
Naive MIPS-32 CPU implemented by Verilog
Language:Verilog2 0
llylly/ScientificComputingProj
6 Naive Problems of Scientific Computing Course
Language:C++2 0
llylly/smoothmix
Code for the paper "SmoothMix: Training Confidence-calibrated Smoothed Classifiers for Certified Robustness" (NeurIPS 2021)
Language:Roff0 0
llylly/v9.js
An in-browser operating system learning platform. 考完试后我会继续完善这个项目，请不要着急。
Language:JavaScript2 0
llylly/WDXpeak
我的各类笔记（~ 至 2016.12）
Language:Stata2 0