Beast code in Giters

Justin's repositories

openlogprobs

Extract full next-token probabilities via language model APIs

Language:Python216 3 1

onecommon-gpt

Language:Python5 10

ssm-im

Language:Python500

proofsearch

Language:Python300

datadup

Language:Python100

ising-partition-approx

Language:Python100

math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

Language:HTML100

network-opt

Language:TeX1 20

onecommon

Language:Jupyter Notebook1 10

onecommon-gpt-writing

Language:TeX1 10

proofstash

Language:Lean100

sde-priors

Language:Python100

aesop

White-box automation for Lean 4

Apache-2.0000

codraw-gpt

Language:Python010

dialogue-distributed-optimization

Language:TeX010

Diffusion-BERT

ACL'2023: DiffusionBERT: Improving Generative Masked Language Models with Diffusion Models

Language:PythonApache-2.0000

dotfiles

Language:KakouneScript000

hmm-note

Language:TeX000

lean-training-data

Apache-2.0000

lean4-metaprogramming-book

Apache-2.0000

LeanDojo

Tool for data extraction and interacting with Lean programmatically.

MIT000

logit-estimation

Language:Python020

mamba

Language:PythonApache-2.0000

Next-Token-Failures

000

score-matching

Language:Makefile010

sde

Language:Makefile010

searchlib

Proofs for search algorithms in lean

Language:Lean000

spdod

Symbolic planning for DialOp

Language:Python010

streaming

A Data Streaming Library for Efficient Neural Network Training

Apache-2.0000

website

Language:Astro000