Stars
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
ChatReviewer: 使用ChatGPT分析论文优缺点,提出改进建议
#1 PDF Application on GitHub that lets you edit PDFs on any device anywhere
Static Value-Flow Analysis Framework for Source Code
A comprehensive list of pytorch related content on github,such as different models,implementations,helper libraries,tutorials etc.