Small models whose output is checked by a compiler, prover or model checker.
João Galego PRO
jgalego
P(doom) Rejects the premise
AI & ML interests
I like small models that cannot lie...
Recent Activity
updated a Space 1 day ago
jgalego/desenrasca-demo published an article 1 day ago
🤖 RLJF: Reinforcement Learning from Jev Feedback updated a collection 1 day ago
BeyondOrganizations
Models for underrepresented languages and dialects.
Small models pre-trained from scratch on a budget.
Tools and datasets for looking at how models portray people.
Small models whose output is checked by a compiler, prover or model checker.
Small models for aviation and safety engineering. Research aids, not certified.
Models for underrepresented languages and dialects.
Small models past the standard transformer.
Small models pre-trained from scratch on a budget.
Older models, datasets and Spaces.
Tools and datasets for looking at how models portray people.