Pinned Repositories
C10
C10 is a strongly-typed, object-oriented, probabilistic, timed, concurrent constraint programming language, being developed within the X10 family of languages.
ClockedX10Sem
Prolog rendition of SOS for clocked X10 programs
GlueCHR
A quick and dirty implementation of Glue in Constraint Handling Rules (CHR).
graph-parser
GraphParser is a semantic parser which can convert natural language sentences to logical forms and graphs.
instant-glue
Continuing development of Kokkinidis' Instant Glue prover (in Prolog) for multiplicative linear logic (*, -o).
logic-nn
Doing logic with neural nets
NeuralProgrammerAsProbProg
An attempt to replicate the neural programmer work [Neelakantan et al 2016, 2017] using techniques for learning probability distributions in probabilistic programming languages.
nlp-bib
My bibliography of NLP papers
pcc
A quick and dirty implementation of Probabilistic CCP (pcc) in Prolog
rudra-dist
Harness for distributed deep neural network training.
saraswat's Repositories
saraswat/nlp-bib
My bibliography of NLP papers
saraswat/instant-glue
Continuing development of Kokkinidis' Instant Glue prover (in Prolog) for multiplicative linear logic (*, -o).
saraswat/nanoGPT
The simplest, fastest repository for training/finetuning medium-sized GPTs.
saraswat/ADAS
Automated Design of Agentic Systems
saraswat/AI-Scientist
The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑🔬
saraswat/aider
aider is AI pair programming in your terminal
saraswat/arxhive
archive of stuff I care about
saraswat/chat-gpt-quine
saraswat/chatgpt-wrapper
API for interacting with ChatGPT using Python and from Shell.
saraswat/ConditionalQA
Release of the ConditionalQA dataset
saraswat/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
saraswat/cvc5_pythonic_api
A Z3Py-compatible interface to cvc5
saraswat/daml
The Daml smart contract language
saraswat/Darts_RNN
recurrent neural networks in Python Darts
saraswat/DeepSpeed
DeepSpeed is a deep learning optimization library that makes distributed training and inference easy, efficient, and effective.
saraswat/deepxde
Deep learning library for solving differential equations and more
saraswat/fourier_neural_operator
Use Fourier transform to learn operators in differential equations.
saraswat/google-cloud-python
Google Cloud Client Library for Python
saraswat/google-research
Google Research
saraswat/haystack
:mag: Haystack is an open source NLP framework to interact with your data using Transformer models and LLMs (GPT-3 and alike). Haystack offers production-ready tools to quickly build ChatGPT-like question answering, semantic search, text generation, and more.
saraswat/legend-pure
Legend Pure module
saraswat/mcr2
Official Implementation of Learning Diverse and Discriminative Representations via the Principle of Maximal Coding Rate Reduction (2020)
saraswat/MiniChain
saraswat/Open-Assistant
saraswat/openai-cookbook
Examples and guides for using the OpenAI API
saraswat/PaLM-rlhf-pytorch
Implementation of RLHF (Reinforcement Learning with Human Feedback) on top of the PaLM architecture. Basically ChatGPT but with PaLM
saraswat/particles
Sequential Monte Carlo in python
saraswat/progress-measures-paper
Neel Nanda code to explain grokking of xor modulo prime
saraswat/Prompt-Engineering-Guide
:octopus: Guides, papers, lecture, and resources for prompt engineering
saraswat/wordle
A constraint programming formulation of wordle (in SWI-Prolog, using CLP(fd) and global cardinality constraints),