Skip to content
View Dahoas's full-sized avatar
Block or Report

Block or report Dahoas

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@vwxyzjn
Costa Huang vwxyzjn
RLHF @huggingface, CS Ph.D. from Drexel University in RL.

@huggingface Philadelphia, PA

@hendrycks
Dan Hendrycks hendrycks
PhD student at UC Berkeley.

Berkeley, California

@Sea-Snell
Sea-Snell Sea-Snell
CS at UC Berkeley. NLP / RL

Berkeley, CA

@stas00
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

@BlinkDL
PENG Bo BlinkDL
RWKV is all you need
@CarperAI
CarperAI
FOSS RLHF
@rdangovs
Rumen Dangovski rdangovs
MIT EECS

Massachusetts Institute of Technology, 6C-413

@Darooha
Danny Sleator Darooha
CS Professor at Carnegie Mellon.

Carnegie Mellon University Pittsburgh, PA