nhamlv-55

Pinned Repositories

acgan
Language:Jupyter Notebook2 2 02
Allthink
Group 6 - K55CA
Language:Python1 2 00
bigThought
Language:Java1 3 01
Django_allthink
1 2 00
goodROPbadROP
repo for ECE750 final project
Language:Python2 3 01
Nham-s-Master-Thesis
Language:TeX2 2 00
PL
Language:Racket20
PySpacerSolver
Language:SMT10
Ropey
Neural-guided Inductive Generalization.
Language:SMT4 3 41
VerifyNNE
Language:Python2 2 01

nhamlv-55's Repositories

nhamlv-55/Ropey
Neural-guided Inductive Generalization.
Language:SMT4 3 41
nhamlv-55/Nham-s-Master-Thesis
Language:TeX2 2 00
nhamlv-55/VerifyNNE
Language:Python2 2 01
nhamlv-55/PySpacerSolver
Language:SMT10
nhamlv-55/SpacerVisBackend
Language:Python1 3 32
nhamlv-55/CFI_NNs
Language:Jupyter Notebook0 2 02
nhamlv-55/spacer-visualization
Visualization of Vampire saturation runs
Language:TypeScript0 1 01
nhamlv-55/alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP'21)
Language:Python
nhamlv-55/auto_LiRPA
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
Language:Python
nhamlv-55/chc-tools
Tools for manipulating CHC and related files
Language:Python1 0
nhamlv-55/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT
nhamlv-55/darts
Differentiable architecture search for convolutional and recurrent networks
Language:Python1 0
nhamlv-55/darts.pytorch1.1
Implementation with latest PyTorch (v1.1) for multi-gpu DARTS https://arxiv.org/abs/1806.09055
Language:Python1 0
nhamlv-55/ECE750_proj
Language:HTML2 0
nhamlv-55/GamestonkTerminal
The next best thing after Bloomberg Terminal
Language:Python1 0
nhamlv-55/jax_verify
Neural network verification in JAX
nhamlv-55/llm.c
LLM training in simple, raw C/CUDA
nhamlv-55/llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
nhamlv-55/Marabou
Language:C++
nhamlv-55/minimal
Minimal is a Jekyll theme for GitHub Pages
Language:CSS1 0
nhamlv-55/nhamlv-55
nhamlv-55/othello_world
Emergent world representations: Exploring a sequence model trained on a synthetic task
Language:Jupyter Notebook
nhamlv-55/Rust8
Language:Rust2 0
nhamlv-55/smtransformer
Language:TypeScript
nhamlv-55/SMTS
SMTS: a framework for distributed SMT and PDR, supporting lemma sharing and partitioning
nhamlv-55/TransformerLens
Language:Python0 0
nhamlv-55/Trinity-robustness
Language:Jupyter Notebook
nhamlv-55/WD
Language:HTML3 0
nhamlv-55/z3
The Z3 Theorem Prover
Language:C++2 0
nhamlv-55/z3-2.15
Language:SMT1 0