AISys Lab's repositories
differentiable-proving
Code and data for the paper "Pretrained Language Models are Symbolic Mathematics Solvers too!", arXiv:2110.03501
CL-Robustness
A comprehensive study to compare the robustness of contrastive and supervised contrastive with standard supervised learning under different adversarial training scenarios
Multi-Sense-Rescuer
Audio-Visual navigation to multiple sound-emitting destinations
network-traffic-optimization
optimizes LSTM hyperparameters for network traffic
perfBugMiner
A github mining project for performance issues
visualization
We use this repo to polish our ability in designing pretty diagrams for papers, posters, thesis and so on. We plan to do the practice and meet periodically. The resulting designs will be collected into appropriate libraries for future reuse.
PerfBoost-Change-Point-Detection
MongoDB performance analysis and change points detection
project-athena
This is the course project for CSCE585. Students will build their machine learning systems based on the provided infrastructure --- Athena.
robustness-gym
Robustness Gym is an evaluation toolkit for machine learning.