Highlights
- Pro
Block or Report
Block or report justinchiu
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
-
-
-
streaming Public
Forked from mosaicml/streamingA Data Streaming Library for Efficient Neural Network Training
Python Apache License 2.0 UpdatedApr 23, 2024 -
Next-Token-Failures Public
Forked from gregorbachmann/Next-Token-FailuresPython UpdatedMar 12, 2024 -
-
-
math2001 Public
Forked from hrmacbeth/math2001Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
-
openlogprobs Public
Extract full next-token probabilities via language model APIs
-
-
-
-
aesop Public
Forked from leanprover-community/aesopWhite-box automation for Lean 4
Lean Apache License 2.0 UpdatedFeb 16, 2024 -
Diffusion-BERT Public
Forked from Hzfinfdu/Diffusion-BERTACL'2023: DiffusionBERT: Improving Generative Masked Language Models with Diffusion Models
-
lean4-metaprogramming-book Public
Forked from leanprover-community/lean4-metaprogramming-bookLean Apache License 2.0 UpdatedFeb 4, 2024 -
LeanDojo Public
Forked from lean-dojo/LeanDojoTool for data extraction and interacting with Lean programmatically.
Python MIT License UpdatedJan 21, 2024 -
-
lean-training-data Public
Forked from semorrison/lean-training-dataLean Apache License 2.0 UpdatedDec 22, 2023 -
-
-
-
-
-
-
-
-
-
-
Previous Next