Asst. Prof at UW-Madison
-
University of Wisconsin-Madison
- muraliadithya.github.io
- @adithyamuralism
Highlights
- Pro
-
-
logictools Public
Tools for logic course assignments
Python GNU General Public License v3.0 UpdatedOct 11, 2024 -
-
mini-sygus Public
a constraint-based syntax-guided synthesis (SyGuS) engine
-
vdp Public
One-shot solution of visual discrimination puzzles
-
-
StackOverflow-Question-Code-Dataset Public
Forked from LittleYUYU/StackOverflow-Question-Code-DatasetStaQC: a systematically mined dataset containing around 148K Python and 120K SQL domain question-code pairs, as described in "StaQC: A Systematically Mined Question-Code Dataset from Stack Overflow…
Python Other UpdatedAug 28, 2021 -
-
-
-
Delta-Logic-experiments Public
This repository contains programs and their specifications that were verified using delta logic, as well as their SMT formulations.
SMT UpdatedJun 11, 2018 -