AishwaryaSivaraman

Singapore

Pinned Repositories

ALICE-ILP-for-Code-Search
repo for code of paper accepted for publication in ICSE 2019
Language:Java10 2 04
beanmachine
A library that allows for inference on probabilistic models
Language:Python0 0 00
COMET
Counterexample-Guided Learning of Monotonic Networks
Language:Python18 5 17
Coq-CIS500
Language:Coq0 1 00
cs2103
Software Engineering - ToDo Task Manager
Language:C#0 2 00
Dota-Bots
Language:Lua0 2 00
executorch
On-device AI across mobile, embedded and edge for PyTorch
Language:C++00
GEM
Language:Java1 3 10
lattice
Lattice methods in TensorFlow
Language:Python0 1 00
icse2020-artifacts
Artifacts submission for ICSE 2020: HeteroRefactor
Language:C++0 8 02

AishwaryaSivaraman's Repositories

AishwaryaSivaraman/COMET
Counterexample-Guided Learning of Monotonic Networks
Language:Python18 5 17
AishwaryaSivaraman/ALICE-ILP-for-Code-Search
repo for code of paper accepted for publication in ICSE 2019
Language:Java10 2 04
AishwaryaSivaraman/GEM
Language:Java1 3 10
AishwaryaSivaraman/beanmachine
A library that allows for inference on probabilistic models
Language:Python0 0 00
AishwaryaSivaraman/Coq-CIS500
Language:Coq0 1 00
AishwaryaSivaraman/cs2103
Software Engineering - ToDo Task Manager
Language:C#0 2 00
AishwaryaSivaraman/Dota-Bots
Language:Lua0 2 00
AishwaryaSivaraman/executorch
On-device AI across mobile, embedded and edge for PyTorch
Language:C++00
AishwaryaSivaraman/lattice
Lattice methods in TensorFlow
Language:Python0 1 00
AishwaryaSivaraman/lemmafinder
Language:HTML0 2 102
AishwaryaSivaraman/Libra
Language:Python1 0
AishwaryaSivaraman/LoopInvGen_old
Generates loop invariants for program verification
Language:OCaml1 0
AishwaryaSivaraman/MultiMarkdown
Expanded perl version of John Gruber's original Markdown --- No longer under active development since MMD 3
Language:Perl1 0
AishwaryaSivaraman/torch
Language:Java2 0