Justin's repositories
openlogprobs
Extract full next-token probabilities via language model APIs
aesop
White-box automation for Lean 4
Apache-2.0000
Diffusion-BERT
ACL'2023: DiffusionBERT: Improving Generative Masked Language Models with Diffusion Models
Language:PythonApache-2.0000
Language:KakouneScript000
Language:TeX000
Apache-2.0000
Apache-2.0000
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
MIT000
Language:PythonApache-2.0000
searchlib
Proofs for search algorithms in lean
Language:Lean000
streaming
A Data Streaming Library for Efficient Neural Network Training
Apache-2.0000
Language:Astro000