aalex1945

360-Image-Compression

aalex1945.github.io

arceos

An experimental modular OS written in Rust.

Attackers-Are-Not-the-Same

This repository contains the code for paper "Attackers Are Not the Same! Unveiling the Impact of Feature Distribution on Label Inference Attacks".

Content-Weighted-Image-Compression

PyTorch implementation of Learning Convolutional Networks for Content-Weighted Image Compression

cos_training_public

arceos training sessions.

DCT2net

Official implementation of the paper "DCT2net: an interpretable shallow CNN for image denoising"

dct_CNNs

Faith

Faith - transformer verification on gpu

fxj_demo_app

aalex1945/360-Image-Compression

aalex1945/aalex1945.github.io

aalex1945/arceos

An experimental modular OS written in Rust.

aalex1945/Attackers-Are-Not-the-Same

This repository contains the code for paper "Attackers Are Not the Same! Unveiling the Impact of Feature Distribution on Label Inference Attacks".

aalex1945/Content-Weighted-Image-Compression

PyTorch implementation of Learning Convolutional Networks for Content-Weighted Image Compression

aalex1945/cos_training_public

arceos training sessions.

aalex1945/DCT2net

Official implementation of the paper "DCT2net: an interpretable shallow CNN for image denoising"

aalex1945/dct_CNNs

aalex1945/Faith

Faith - transformer verification on gpu

aalex1945/fxj_demo_app

aalex1945/ccf-deadlines

⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

aalex1945/CodeT5

Home of CodeT5: Open Code LLMs for Code Understanding and Generation

aalex1945/CT5

codet5模型的简单pipeline，用于微调模型

aalex1945/deep-synthesis

Implementation and datasets of my master thesis "LTL Synthesis from Specification Patterns with Neural Networks"

aalex1945/deepltl

Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)

aalex1945/gbt7714-bibtex-style

GB/T 7714-2015 BibTeX Style

aalex1945/HardBeat

This is the repository for USENIX Security 2023 paper "Hard-label Black-box Universal Adversarial Patch Attack".

aalex1945/lstar-lm

Core L*LM codebase.

aalex1945/ml2

Machine Learning for Mathematics and Logics

aalex1945/MOSJ-3DCT

Data process and CNN in image segmentation of tumor CT data

aalex1945/NeuroSynt

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis

aalex1945/OpenHuFu

OpenHuFu is an open-sourced data federation system to support collaborative queries over multi databases with security guarantee.

aalex1945/owl

aalex1945/SAGE

aalex1945/spot

aalex1945/SYNCOMP_benchmarks

Repository of benchmarks for SYNTCOMP