Block or Report
Block or report Dahoas
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Costa Huang
vwxyzjn
RLHF @huggingface, CS Ph.D. from Drexel University in RL.
@huggingface Philadelphia, PA
Stas Bekman
stas00
Toolmaker. Author. Software creator, optimizer and harmonizer. Makes things work.
Current domains: LLM/Retrieval/RAG/Scalability/Machine Learning
Stasosphere Online Inc. / Contextual.AI BC, Canada