frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Kimina-Prover: Applying Test-Time RL Search on Large Formal Reasoning Models

https://huggingface.co/blog/AI-MO/kimina-prover
1•ibobev•47m ago