mayurnaik

Pinned Repositories

cis547vm
Language:C++17 9 130
bingo
Language:Python61
datalog-bench
Benchmark Suite for Interpretable Rule Learning
Language:C++10 9 11
gen-ai-sid
Language:Python00
homepage
Mayur's Personal Homepage
Language:HTML00
difflog
Difflog: Synthesizing Datalog Programs using Numerical Relaxation
Language:Scala11 7 11
code2inv
Code2Inv: Learning Loop Invariants for Program Verification
Language:SMT85 9 324
scallop
Framework and Language for Neurosymbolic Programming.
Language:Rust215 12 279
scallop-lang.github.io
Official Website of Scallop Language
Language:Jupyter Notebook9 3 97
torchql
TorchQL is a query language for Python-based machine learning models and datasets.
Language:Python10 5 00

mayurnaik's Repositories

mayurnaik/gen-ai-sid
Language:Python00
mayurnaik/homepage
Mayur's Personal Homepage
Language:HTML00