Pinned Repositories
attn-bench
Benchmarking several attention implmentations against each other.
c4ai_takehome
curry-howard
A short paper on the Curry-Howard isomorphism with code examples in literate Haskell.
FasterTransformer
Transformer related optimization, including BERT, GPT
finite-elements-elm
FlaxAttention
JAX Bindings for FlashAttention
freiwriter
A text editor with features to aid in the practice of freewriting.
ice
Interactive Composition Explorer: a Python library for compositional language model programs
ice-cot-verifier-inference
info-theory-hangman
An AI for the game hangman which uses information theoretical metrics to determine the optimal letters to guess.
spagovir's Repositories
spagovir/ice-cot-verifier-inference
spagovir/FasterTransformer
Transformer related optimization, including BERT, GPT
spagovir/freiwriter
A text editor with features to aid in the practice of freewriting.
spagovir/attn-bench
Benchmarking several attention implmentations against each other.
spagovir/c4ai_takehome
spagovir/curry-howard
A short paper on the Curry-Howard isomorphism with code examples in literate Haskell.
spagovir/finite-elements-elm
spagovir/FlaxAttention
JAX Bindings for FlashAttention
spagovir/ice
Interactive Composition Explorer: a Python library for compositional language model programs
spagovir/info-theory-hangman
An AI for the game hangman which uses information theoretical metrics to determine the optimal letters to guess.
spagovir/kMeansHaskell
Functional kMeans
spagovir/LibCandle
replacement for Torch Cuda error reporting headers.
spagovir/manifold
Manifold Markets: A market for every question
spagovir/monad-mcmc
A monadic implementation of the Metropolis-Hastings sampling algorithm.
spagovir/omega-go
go
spagovir/primer
Factored Cognition Primer: How to write compositional language model programs
spagovir/resume
spagovir/rvs-sampling
Testing some ideas on sampling procedures for RL via supervised learning using a 2-layer MLP.
spagovir/TrafficSim
spagovir/vta-gravity