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.
Hugging Science
@huggingscience
Joined November 2025
- 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.
- Welcome to Hugging Science!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:
