digumx
A student of mathematics and theoretical computer science interested in formal methods and automated theorem proving.
Chennai, India.
Pinned Repositories
8086tiny
Official repository for 8086tiny: a tiny PC emulator/virtual machine
alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021 and 2022)
auto_LiRPA
Fork of autolirpa
code2inv
Code2Inv: Learning Loop Invariants for Program Verification
cudd-ctl-mc
A simple CTL model checker based on BDDs, using the CUDD package for BDD implementation
culinalg
A CUDA linear algebra library written in C++
formal-nn-papers
Papers on Formal Analysis of Neural Networks
git-it
:computer: :mortar_board: Learn Git and GitHub. Try the new desktop version →
ProjectReticle
An open source, multiplatform, multithreaded, advanced, real-time rendering api based on OpenGL
smt4dlcode
Code for the SMT4DL 2021 project
digumx's Repositories
digumx/git-it
:computer: :mortar_board: Learn Git and GitHub. Try the new desktop version →
digumx/ProjectReticle
An open source, multiplatform, multithreaded, advanced, real-time rendering api based on OpenGL
digumx/smt4dlcode
Code for the SMT4DL 2021 project
digumx/8086tiny
Official repository for 8086tiny: a tiny PC emulator/virtual machine
digumx/alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021 and 2022)
digumx/auto_LiRPA
Fork of autolirpa
digumx/code2inv
Code2Inv: Learning Loop Invariants for Program Verification
digumx/cudd-ctl-mc
A simple CTL model checker based on BDDs, using the CUDD package for BDD implementation
digumx/culinalg
A CUDA linear algebra library written in C++
digumx/formal-nn-papers
Papers on Formal Analysis of Neural Networks
digumx/HelloWorld
Hello. World. Hello world.
digumx/Invader
A little ncurses based alien invasion clone. Gameplay modified from original.
digumx/LogicSim
digumx/patchwork
All the Git-it Workshop completers!
digumx/permcheck
A prototype implementation of the PermCheck algorithm available (https://arxiv.org/abs/2110.09578)
digumx/pvs-assignment-2-git
A repository containing all relevant files for the second PVS assignment of the ITP course at CMI, Jan-Aug 20.
digumx/pvs-submission
A repository containing all the latest files for the assignment and end-sem submissions for the PVS part of the ITP 2020 course at CMI.
digumx/ReticleLinuxTest
A little test repository to test Reticle on a linux platform.
digumx/ReticleWindowsTest
A little test setup for Reticle on windows.
digumx/smt-for-deep-learning-project
A project by Diganta Mukhopadhyay and Sougata Bhattacharya for an SMT course for verification of neural network @Chennai Mathematical Institute
digumx/smt4dl-assignments
Assignments and other submissions for the SMT4DL2020 course.
digumx/tree-merge-tex
Tex for paper on tree based DNN abstraction refinement