llm-catalog-archive
RSS Repository

API surface thread

huggingface.co/blog/project-numina

api-surface/huggingface.co/blog/project-numina

Events
2
First event in the archive
observed
Last activity
observed

  1. The huggingface-blog-feed published a post titled "Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models" at "https://huggingface.co/blog/project-numina/kimina-prover".

    post_published observed · huggingface-blog-feed · f738404 · raw artifact at this commit

    api-surfacehuggingface.co/blog/project-numina

  2. The huggingface-blog-feed published a post titled "Kimina-Prover-RL" at "https://huggingface.co/blog/project-numina/kimina-prover-rl".

    post_published observed · huggingface-blog-feed · f738404 · raw artifact at this commit

    api-surfacehuggingface.co/blog/project-numina