Pinned Repositories
2dpcfg
3
low-rank-models
onecommon-gpt
openlogprobs
Extract full next-token probabilities via language model APIs
presentation
proofsearch
sentclass
ssm-im
var-attn
justinchiu's Repositories
justinchiu/openlogprobs
Extract full next-token probabilities via language model APIs
justinchiu/onecommon-gpt
justinchiu/proofsearch
justinchiu/ssm-im
justinchiu/d3pm
justinchiu/datadup
justinchiu/ising-partition-approx
justinchiu/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
justinchiu/online-estimators
justinchiu/ppl-analysis
justinchiu/proofstash
justinchiu/sde-priors
justinchiu/aesop
White-box automation for Lean 4
justinchiu/DeepSeek-Prover-V1.5
justinchiu/dialogue-distributed-optimization
justinchiu/Diffusion-BERT
ACL'2023: DiffusionBERT: Improving Generative Masked Language Models with Diffusion Models
justinchiu/dotfiles
justinchiu/gh-utils-rust
justinchiu/hmm-note
justinchiu/lean-training-data
justinchiu/lean4-metaprogramming-book
justinchiu/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
justinchiu/logit-estimation
justinchiu/mamba
justinchiu/Next-Token-Failures
justinchiu/repogen
justinchiu/searchlib
Proofs for search algorithms in lean
justinchiu/spdod
Symbolic planning for DialOp
justinchiu/streaming
A Data Streaming Library for Efficient Neural Network Training
justinchiu/website