Hugging Science

This account is verified. Learn more

@huggingscience

The @huggingface community effort for science.

huggingscience.co Joined November 2025

10 Following 361 Followers 55 Posts

Latest posts 3

Hugging Science @huggingscience Jun 12

on hugging science: kimina-prover ✍️

rl-trained model that writes formal lean 4 proofs for olympiad-level maths. machine-checkable, not just "showing working". 7b distilled preview, open on the hub.

huggingface.co/AI-MO/Kimina-P…

huggingface.co project-numina/Kimina-Prover-Preview-Distill-7B · Hugging Face Text Generation model with 8B parameters. Download, explore files and run it on Hugging Face.

Hugging Science @huggingscience May 29

on hugging science: mattergen ⚛️

generative ai for materials. you give it a target property, it proposes novel inorganic crystal structures to match. inverse design instead of screen-and-pray.

built for energy, catalysis and functional materials research. weights on the hub.

Hugging Science @huggingscience Apr 7

Welcome to Hugging Science!

SAIR Verified account @SAIRfoundation Apr 6

We’re excited to announce our collaboration with @huggingface. Through SAIR competitions, we aim to provide open data, benchmarks, tools, and models, and expand the frontier of AI x Science through collective contributions from the community.

SAIR on Hugging Face:
huggingface.co/SAIRfoundation

View quoted post on X