Skip to content
View jiawei-95's full-sized avatar
  • UNSW Sydney
  • Australia

Highlights

  • Pro

Block or report jiawei-95

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

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

Python 387 94 Updated Jun 16, 2026

ChatReviewer: 使用ChatGPT分析论文优缺点,提出改进建议

Python 1,375 123 Updated Nov 22, 2024

#1 PDF Application on GitHub that lets you edit PDFs on any device anywhere

Java 89,097 8,045 Updated Aug 8, 2026

Static Value-Flow Analysis Framework for Source Code

C++ 1,697 494 Updated Jul 30, 2026

A comprehensive list of pytorch related content on github,such as different models,implementations,helper libraries,tutorials etc.

16,620 2,841 Updated Feb 1, 2026