Alternatives and similar repositories for wisc-thesis-template

Users that are interested in wisc-thesis-template are comparing it to the libraries listed below

• CSStipendRankings / CSStipendRankings
  https://csstipendrankings.org
  ☆216Updated last month
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆22Updated 4 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆157Updated 2 months ago
• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆40Updated last year
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆57Updated 11 months ago
• LearningOpt / pie
  ☆54Updated last year
• klasleino / gloro
  Library for training globally-robust neural networks.
  ☆30Updated 3 months ago
• Jungyhuk / latent-execution
  ☆25Updated 4 years ago
• Yuanyuan-Yuan / GCert
  Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks
  ☆13Updated 2 years ago
• sun-wendy / DafnyBench
  DafnyBench: A Benchmark for Formal Software Verification
  ☆50Updated 11 months ago
• llylly / RANUM
  [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.
  ☆13Updated last year
• AI-secure / VeriGauge
  A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]
  ☆90Updated 2 years ago
• vijay03 / asstprofbook
  Github repo backing website for the CS Assistant Professor Handbook
  ☆27Updated last year
• KaidiXu / Beta-CROWN
  β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification
  ☆31Updated 4 years ago
• Xtra-Computing / PyOE
  Python library for data stream learning
  ☆26Updated last year
• Verified-Intelligence / alpha-beta-CROWN
  alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
  ☆327Updated 10 months ago
• tcwangshiqi-columbia / ReluVal
  The released code of ReluVal in USENIX Security 2018
  ☆60Updated 5 years ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆37Updated last year
• 95616ARG / PRDNN
  Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."
  ☆10Updated 3 years ago
• Verified-Intelligence / auto_LiRPA
  auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
  ☆333Updated last month
• columbia / PrivateKube
  Privacy Budget Orchestration in Machine Learning Workloads (OSDI '21)
  ☆25Updated 2 years ago
• noise-lab / nsf-template
  Template for NSF Proposals
  ☆16Updated last month
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 5 years ago
• shizhouxing / Local-Lipschitz-Constants
  [NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"
  ☆27Updated last year
• ise-uiuc / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆70Updated 2 years ago
• ryscheng / paper-template
  LaTeX templates for papers
  ☆51Updated 6 years ago
• self-checker / SelfChecker
  ICSE2021 Submission
  ☆13Updated 3 years ago
• shinan6 / chatgpt_cmd
  Simply calling chatgpt APIs and store chat history in csv
  ☆22Updated 2 years ago
• dywsjtu / apparate
  Artifact for "Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving" [SOSP '24]
  ☆25Updated last year
• nsfzyzz / loss_landscape_taxonomy
  [NeurIPS 2021] code for "Taxonomizing local versus global structure in neural network loss landscapes" https://arxiv.org/abs/2107.11228
  ☆19Updated 3 years ago