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