{ // 获取包含Hugging Face文本的span元素 const spans = link.querySelectorAll('span.whitespace-nowrap, span.hidden.whitespace-nowrap'); spans.forEach(span => { if (span.textContent && span.textContent.trim().match(/Hugging\s*Face/i)) { span.textContent = 'AI快站'; } }); }); // 替换logo图片的alt属性 document.querySelectorAll('img[alt*="Hugging"], img[alt*="Face"]').forEach(img => { if (img.alt.match(/Hugging\s*Face/i)) { img.alt = 'AI快站 logo'; } }); } // 替换导航栏中的链接 function replaceNavigationLinks() { // 已替换标记,防止重复运行 if (window._navLinksReplaced) { return; } // 已经替换过的链接集合,防止重复替换 const replacedLinks = new Set(); // 只在导航栏区域查找和替换链接 const headerArea = document.querySelector('header') || document.querySelector('nav'); if (!headerArea) { return; } // 在导航区域内查找链接 const navLinks = headerArea.querySelectorAll('a'); navLinks.forEach(link => { // 如果已经替换过,跳过 if (replacedLinks.has(link)) return; const linkText = link.textContent.trim(); const linkHref = link.getAttribute('href') || ''; // 替换Spaces链接 - 仅替换一次 if ( (linkHref.includes('/spaces') || linkHref === '/spaces' || linkText === 'Spaces' || linkText.match(/^s*Spacess*$/i)) && linkText !== 'OCR模型免费转Markdown' && linkText !== 'OCR模型免费转Markdown' ) { link.textContent = 'OCR模型免费转Markdown'; link.href = 'https://fast360.xyz'; link.setAttribute('target', '_blank'); link.setAttribute('rel', 'noopener noreferrer'); replacedLinks.add(link); } // 删除Posts链接 else if ( (linkHref.includes('/posts') || linkHref === '/posts' || linkText === 'Posts' || linkText.match(/^s*Postss*$/i)) ) { if (link.parentNode) { link.parentNode.removeChild(link); } replacedLinks.add(link); } // 替换Docs链接 - 仅替换一次 else if ( (linkHref.includes('/docs') || linkHref === '/docs' || linkText === 'Docs' || linkText.match(/^s*Docss*$/i)) && linkText !== '模型下载攻略' ) { link.textContent = '模型下载攻略'; link.href = '/'; replacedLinks.add(link); } // 删除Enterprise链接 else if ( (linkHref.includes('/enterprise') || linkHref === '/enterprise' || linkText === 'Enterprise' || linkText.match(/^s*Enterprises*$/i)) ) { if (link.parentNode) { link.parentNode.removeChild(link); } replacedLinks.add(link); } }); // 查找可能嵌套的Spaces和Posts文本 const textNodes = []; function findTextNodes(element) { if (element.nodeType === Node.TEXT_NODE) { const text = element.textContent.trim(); if (text === 'Spaces' || text === 'Posts' || text === 'Enterprise') { textNodes.push(element); } } else { for (const child of element.childNodes) { findTextNodes(child); } } } // 只在导航区域内查找文本节点 findTextNodes(headerArea); // 替换找到的文本节点 textNodes.forEach(node => { const text = node.textContent.trim(); if (text === 'Spaces') { node.textContent = node.textContent.replace(/Spaces/g, 'OCR模型免费转Markdown'); } else if (text === 'Posts') { // 删除Posts文本节点 if (node.parentNode) { node.parentNode.removeChild(node); } } else if (text === 'Enterprise') { // 删除Enterprise文本节点 if (node.parentNode) { node.parentNode.removeChild(node); } } }); // 标记已替换完成 window._navLinksReplaced = true; } // 替换代码区域中的域名 function replaceCodeDomains() { // 特别处理span.hljs-string和span.njs-string元素 document.querySelectorAll('span.hljs-string, span.njs-string, span[class*="hljs-string"], span[class*="njs-string"]').forEach(span => { if (span.textContent && span.textContent.includes('huggingface.co')) { span.textContent = span.textContent.replace(/huggingface.co/g, 'aifasthub.com'); } }); // 替换hljs-string类的span中的域名(移除多余的转义符号) document.querySelectorAll('span.hljs-string, span[class*="hljs-string"]').forEach(span => { if (span.textContent && span.textContent.includes('huggingface.co')) { span.textContent = span.textContent.replace(/huggingface.co/g, 'aifasthub.com'); } }); // 替换pre和code标签中包含git clone命令的域名 document.querySelectorAll('pre, code').forEach(element => { if (element.textContent && element.textContent.includes('git clone')) { const text = element.innerHTML; if (text.includes('huggingface.co')) { element.innerHTML = text.replace(/huggingface.co/g, 'aifasthub.com'); } } }); // 处理特定的命令行示例 document.querySelectorAll('pre, code').forEach(element => { const text = element.innerHTML; if (text.includes('huggingface.co')) { // 针对git clone命令的专门处理 if (text.includes('git clone') || text.includes('GIT_LFS_SKIP_SMUDGE=1')) { element.innerHTML = text.replace(/huggingface.co/g, 'aifasthub.com'); } } }); // 特别处理模型下载页面上的代码片段 document.querySelectorAll('.flex.border-t, .svelte_hydrator, .inline-block').forEach(container => { const content = container.innerHTML; if (content && content.includes('huggingface.co')) { container.innerHTML = content.replace(/huggingface.co/g, 'aifasthub.com'); } }); // 特别处理模型仓库克隆对话框中的代码片段 try { // 查找包含"Clone this model repository"标题的对话框 const cloneDialog = document.querySelector('.svelte_hydration_boundary, [data-target="MainHeader"]'); if (cloneDialog) { // 查找对话框中所有的代码片段和命令示例 const codeElements = cloneDialog.querySelectorAll('pre, code, span'); codeElements.forEach(element => { if (element.textContent && element.textContent.includes('huggingface.co')) { if (element.innerHTML.includes('huggingface.co')) { element.innerHTML = element.innerHTML.replace(/huggingface.co/g, 'aifasthub.com'); } else { element.textContent = element.textContent.replace(/huggingface.co/g, 'aifasthub.com'); } } }); } // 更精确地定位克隆命令中的域名 document.querySelectorAll('[data-target]').forEach(container => { const codeBlocks = container.querySelectorAll('pre, code, span.hljs-string'); codeBlocks.forEach(block => { if (block.textContent && block.textContent.includes('huggingface.co')) { if (block.innerHTML.includes('huggingface.co')) { block.innerHTML = block.innerHTML.replace(/huggingface.co/g, 'aifasthub.com'); } else { block.textContent = block.textContent.replace(/huggingface.co/g, 'aifasthub.com'); } } }); }); } catch (e) { // 错误处理但不打印日志 } } // 当DOM加载完成后执行替换 if (document.readyState === 'loading') { document.addEventListener('DOMContentLoaded', () => { replaceHeaderBranding(); replaceNavigationLinks(); replaceCodeDomains(); // 只在必要时执行替换 - 3秒后再次检查 setTimeout(() => { if (!window._navLinksReplaced) { console.log('[Client] 3秒后重新检查导航链接'); replaceNavigationLinks(); } }, 3000); }); } else { replaceHeaderBranding(); replaceNavigationLinks(); replaceCodeDomains(); // 只在必要时执行替换 - 3秒后再次检查 setTimeout(() => { if (!window._navLinksReplaced) { console.log('[Client] 3秒后重新检查导航链接'); replaceNavigationLinks(); } }, 3000); } // 增加一个MutationObserver来处理可能的动态元素加载 const observer = new MutationObserver(mutations => { // 检查是否导航区域有变化 const hasNavChanges = mutations.some(mutation => { // 检查是否存在header或nav元素变化 return Array.from(mutation.addedNodes).some(node => { if (node.nodeType === Node.ELEMENT_NODE) { // 检查是否是导航元素或其子元素 if (node.tagName === 'HEADER' || node.tagName === 'NAV' || node.querySelector('header, nav')) { return true; } // 检查是否在导航元素内部 let parent = node.parentElement; while (parent) { if (parent.tagName === 'HEADER' || parent.tagName === 'NAV') { return true; } parent = parent.parentElement; } } return false; }); }); // 只在导航区域有变化时执行替换 if (hasNavChanges) { // 重置替换状态,允许再次替换 window._navLinksReplaced = false; replaceHeaderBranding(); replaceNavigationLinks(); } }); // 开始观察document.body的变化,包括子节点 if (document.body) { observer.observe(document.body, { childList: true, subtree: true }); } else { document.addEventListener('DOMContentLoaded', () => { observer.observe(document.body, { childList: true, subtree: true }); }); } })(); \n\n","html":"\n \"AI4Math\"\n

Advancing open-source AI4Math

\n

Numina is a non-profit with a mission to foster the development of human and artificial intelligence in the field of mathematics. In this organization, you can find our open-source model (Numina-Math-7B) and datasets.

\n\n\n","classNames":"hf-sanitized hf-sanitized-Yi2QsAMBGSqnPNu5dse4O"},"users":[{"_id":"5f0c746619cb630495b814fd","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/1594651707950-noauth.jpeg","isPro":true,"fullname":"Lewis Tunstall","user":"lewtun","type":"user"},{"_id":"621660534b06824e1e5022ed","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/1645633727256-621660534b06824e1e5022ed.jpeg","isPro":false,"fullname":"LI Jia","user":"liyongsea","type":"user"},{"_id":"626ede24d2fa9e7d598c8709","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/626ede24d2fa9e7d598c8709/JKS8-Y2Jw87EgNQZBRswq.jpeg","isPro":false,"fullname":"Hynek Kydlicek","user":"hynky","type":"user"},{"_id":"62f6ade304e5e02f82af6e63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/62f6ade304e5e02f82af6e63/soOiLJw9-A4XCNac5q_ON.png","isPro":false,"fullname":"Philip Vonderlind","user":"philip-vonderlind","type":"user"},{"_id":"6311c0828231e4718b93c18d","avatarUrl":"/avatars/64518ccb79e02ce255ea4cfe96e8bc6e.svg","isPro":false,"fullname":"Léo","user":"dsleo","type":"user"},{"_id":"63296f4bcb08c7b2b7318797","avatarUrl":"/avatars/7bfb5978f1c05d7e0a3b9dcdda90859b.svg","isPro":false,"fullname":"Marina Vinyes","user":"mavi88","type":"user"},{"_id":"6343d01a08c017b2c042305d","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/6343d01a08c017b2c042305d/cmJrYkGs9RjDAKfMYCqdW.jpeg","isPro":false,"fullname":"Flood Sung","user":"floodsung","type":"user"},{"_id":"63468081bcb5e67902ab25ac","avatarUrl":"/avatars/001e2394d7f0adbca5b40ae09c815c75.svg","isPro":false,"fullname":"Stanislas Polu","user":"spolu","type":"user"},{"_id":"635e7a8b875f3e8c2756a4fe","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/635e7a8b875f3e8c2756a4fe/CvATc3ZlDnYWyqq92ynep.jpeg","isPro":false,"fullname":"Xiaohan Lin","user":"XiaoHLim","type":"user"},{"_id":"63fdc3d30c1bbe8e29cf0419","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/1677577222050-63fdc3d30c1bbe8e29cf0419.jpeg","isPro":false,"fullname":"Jingtao","user":"casert3003","type":"user"},{"_id":"64100e99f2d7c41a1ea2063e","avatarUrl":"/avatars/e68179c7ccb4fab76679d26e35d73c12.svg","isPro":false,"fullname":"RAN WANG","user":"ranWang","type":"user"},{"_id":"64146fc68ebec947b8c2fddc","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/64146fc68ebec947b8c2fddc/tTTdYhcg5cp2U8LGZustC.png","isPro":false,"fullname":"Marco Dos Santos","user":"dsantosmarco","type":"user"},{"_id":"6437b938fac5ea753f1d0ba8","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/6437b938fac5ea753f1d0ba8/6xxQEmjKmrS1yPUZSoYQP.jpeg","isPro":false,"fullname":"Ebony Zhang","user":"ebony59","type":"user"},{"_id":"6445f82f5691ca69b0df747a","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/6445f82f5691ca69b0df747a/lVILbKYiX6Aw9I97HlPo1.jpeg","isPro":false,"fullname":"Zhengying Liu","user":"evariste-liu","type":"user"},{"_id":"647dd3c4770c299e56f7f7c4","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/647dd3c4770c299e56f7f7c4/0UJXn0qNV3WJn2E95sG24.jpeg","isPro":false,"fullname":"Simon Frieder","user":"friederrr","type":"user"},{"_id":"64b753306c169983c982f609","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/64b753306c169983c982f609/oOC_N8cI1Go6avUMvIPVI.jpeg","isPro":false,"fullname":"Longhui Yu","user":"Longhui98","type":"user"},{"_id":"64b7cff23240387159513755","avatarUrl":"/avatars/325a10742fe5ab1b017b158bc5ec068c.svg","isPro":false,"fullname":"jiangzhuo","user":"drewjiang","type":"user"},{"_id":"64d59835bcab729cb48e3258","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/64d59835bcab729cb48e3258/cDTTOozta7zCkjkHmbPCQ.png","isPro":false,"fullname":"lujianqiao","user":"rookiemango","type":"user"},{"_id":"64fbe951c367f7b1cae8cf14","avatarUrl":"/avatars/2689f09d5b785914ed47631d9fd9bf66.svg","isPro":false,"fullname":"Javi Lau","user":"LxYxvv","type":"user"},{"_id":"650c5818fb7a51088736587b","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/650c5818fb7a51088736587b/u8FIlFoylRB3iSwQaBQQv.jpeg","isPro":false,"fullname":"Hugues de Saxcé","user":"desaxce","type":"user"},{"_id":"6535a3d33da0ff3c70b6b3d2","avatarUrl":"/avatars/bc40dea410af9b2bd4881d7004eed9a7.svg","isPro":false,"fullname":"Roman Soletskyi","user":"romansoletskyi","type":"user"},{"_id":"65498cbc137b7246f0365a89","avatarUrl":"/avatars/d545e0f57566d3b3d77d78a5bef7c894.svg","isPro":false,"fullname":"John Lu","user":"JohnLyu","type":"user"},{"_id":"65dcb8d60af7e21ba446e901","avatarUrl":"/avatars/420befc26f0575338ccace0f6dbacc59.svg","isPro":false,"fullname":"liuyibo","user":"liuyibo1994","type":"user"},{"_id":"65f9013b25145caed6c725a4","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/65f9013b25145caed6c725a4/Qf0qqqwzU3xitBWkA4ZqC.jpeg","isPro":false,"fullname":"Haiming Wang","user":"HaimingW","type":"user"},{"_id":"6613d8cf57069afc2877af3e","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/6613d8cf57069afc2877af3e/s5mtNBT371rNnKPauwdW7.png","isPro":false,"fullname":"Yann Fleureau","user":"yfleureau","type":"user"},{"_id":"661d3f3e85f70e208d6f20db","avatarUrl":"/avatars/c44b805ad00953966d408fb974dd7ff2.svg","isPro":false,"fullname":"Hélène Evain","user":"helenevain","type":"user"},{"_id":"66775fab8c58c5a12ae629ac","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/66775fab8c58c5a12ae629ac/rwaS-fPTO2be-UcqSL5y0.jpeg","isPro":false,"fullname":"Mert Unsal","user":"mertunsal","type":"user"},{"_id":"66e0354fa9f50756756f8635","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/66e0354fa9f50756756f8635/9BqMWr7sB7i9r-uE-kO2h.png","isPro":false,"fullname":"MantasBaksys","user":"MantasBaksys","type":"user"},{"_id":"66f3c79067e707182c0e5f6e","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/noauth/pcSj_LBEHuLMkpiiYZl86.jpeg","isPro":false,"fullname":"Laurent Mille","user":"LorenzoMyle","type":"user"},{"_id":"670feb451c21e1c214e8b4e8","avatarUrl":"/avatars/a5053136469809f2ef01e634a832f330.svg","isPro":false,"fullname":"Moreira Machado","user":"fcomoreira","type":"user"},{"_id":"67190209d171d92a5f488a31","avatarUrl":"/avatars/f395bfa8e59f2fc80ccbef882473461e.svg","isPro":false,"fullname":"Ying","user":"zhenzhe","type":"user"},{"_id":"677f8f9b5b7a01fbc70c609e","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/677f8f9b5b7a01fbc70c609e/bjpFv-Zq0o47mEQaXGwuI.jpeg","isPro":false,"fullname":"Junqi Liu","user":"ahhwuhu","type":"user"},{"_id":"67859151772545e4f7d73d79","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/noauth/mnSJ7cP3UfzyA9qkqaRx-.jpeg","isPro":false,"fullname":"Frederick Pu","user":"UnluckyOrangutan","type":"user"},{"_id":"67a0953da927ef72d4f19389","avatarUrl":"/avatars/fa14805d47875a7c6386e3b1304713b7.svg","isPro":false,"fullname":"Pauline Bourigault","user":"paulibo","type":"user"},{"_id":"67a36587784f712f2148891f","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/no-auth/Sq_LPKWFaRnjQ6lxIFJVs.png","isPro":false,"fullname":"Gergely Berczi","user":"berczig","type":"user"},{"_id":"67a40e96dc2ed62f0dc65230","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/noauth/dWgbpoxTIpU9WUdlYiWBv.jpeg","isPro":false,"fullname":"Zhu Zekai","user":"hehepig166","type":"user"},{"_id":"67acc6a8749ae2e4d4305a86","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/noauth/PdtmLEqIkalWWw0tYND6o.jpeg","isPro":false,"fullname":"Jonas Bayer","user":"TBUGTB","type":"user"},{"_id":"67b361b2b9378a301c75d670","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/67b361b2b9378a301c75d670/5gn4HB3aHOC4GOk9BJJ_Z.jpeg","isPro":false,"fullname":"Aylin Güliz Akkus","user":"aylinakkus","type":"user"},{"_id":"67c6b39abdab31ec5907d0ca","avatarUrl":"/avatars/00fd74d5a3f42a5177a9f88800f01f9c.svg","isPro":false,"fullname":"Chendong Song","user":"Cosmoscd","type":"user"},{"_id":"67c7666cd51b75fc80596316","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/67c7666cd51b75fc80596316/5l5x9PRzLuPwuauN-ZXDW.jpeg","isPro":false,"fullname":"Thibaut Barroyer","user":"thibautbar","type":"user"},{"_id":"67dae91eb83b97481d8f9187","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/no-auth/mg4LURK3LWCRt23bEU1nm.png","isPro":false,"fullname":"Koenig","user":"LindaKo","type":"user"},{"_id":"67dff82a7e24d5ef4a883668","avatarUrl":"/avatars/b58d4647ff14efd82e22214b642d29ef.svg","isPro":false,"fullname":"Zihan Wang","user":"KouerX","type":"user"},{"_id":"683f0dd9fde42c0912397f59","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/683f0dd9fde42c0912397f59/Kw0b5T64FGHMSn8YJ9RbK.webp","isPro":false,"fullname":"Bolton Bailey","user":"BoltonBailey","type":"user"}],"userCount":43,"collections":[{"slug":"AI-MO/kimina-prover-686b72614760ed23038056c5","title":"Kimina Prover","description":"State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover","gating":false,"lastUpdated":"2025-08-14T07:41:13.034Z","owner":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"items":[{"_id":"689d92f1d3c4f8172a6def61","position":0,"type":"model","author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":3215,"gated":false,"id":"AI-MO/Kimina-Prover-Distill-0.6B","availableInferenceProviders":[],"lastModified":"2025-08-14T06:17:37.000Z","likes":1,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":751632384},{"_id":"689d92e44b0d0be111969ab8","position":1,"type":"model","author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":85,"gated":false,"id":"AI-MO/Kimina-Prover-RL-0.6B","availableInferenceProviders":[],"lastModified":"2025-08-14T07:52:06.000Z","likes":3,"private":false,"repoType":"model","isLikedByUser":false,"numParameters":751632384},{"_id":"686b742cd31c6784a5477807","position":2,"type":"model","author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":42677,"gated":false,"id":"AI-MO/Kimina-Prover-Distill-1.7B","availableInferenceProviders":[{"provider":"featherless-ai","modelStatus":"live","providerStatus":"live","providerId":"AI-MO/Kimina-Prover-Distill-1.7B","task":"conversational","adapterWeightsPath":"model.safetensors"}],"lastModified":"2025-07-10T11:33:21.000Z","likes":8,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":2031739904},{"_id":"689d92ce26fe49e8ad67124e","position":3,"type":"model","author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":261,"gated":false,"id":"AI-MO/Kimina-Prover-RL-1.7B","availableInferenceProviders":[],"lastModified":"2025-08-14T07:52:26.000Z","likes":5,"private":false,"repoType":"model","isLikedByUser":false,"numParameters":2031739904}],"position":0,"theme":"pink","private":false,"shareUrl":"https://huggingface.co/collections/AI-MO/kimina-prover-686b72614760ed23038056c5","upvotes":8,"isUpvotedByUser":false},{"slug":"AI-MO/kimina-prover-preview-67fb536b883d60e7ca25d7f9","title":"Kimina Prover Preview","description":"State-of-the-Art Models for Formal Mathematical Reasoning","gating":false,"lastUpdated":"2025-04-28T14:21:25.681Z","owner":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"items":[{"_id":"67fb53e9902596b310b1ecbf","position":0,"type":"model","author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":1407,"gated":false,"id":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","availableInferenceProviders":[],"lastModified":"2025-04-16T08:53:13.000Z","likes":10,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":1777088000},{"_id":"67fb541c883d60e7ca260208","position":1,"type":"model","author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":2191,"gated":false,"id":"AI-MO/Kimina-Prover-Preview-Distill-7B","availableInferenceProviders":[{"provider":"featherless-ai","modelStatus":"live","providerStatus":"live","providerId":"AI-MO/Kimina-Prover-Preview-Distill-7B","task":"conversational","adapterWeightsPath":"model-00001-of-00004.safetensors"}],"lastModified":"2025-04-17T20:04:49.000Z","likes":36,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":7615616512},{"_id":"67fb5bc1999f2857d11fade2","position":3,"type":"dataset","author":"AI-MO","downloads":961,"gated":false,"id":"AI-MO/minif2f_test","lastModified":"2025-07-04T10:22:36.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":244,"libraries":["datasets","pandas","mlcroissant","polars"],"formats":["parquet"],"modalities":["text"]},"private":false,"repoType":"dataset","likes":6,"isLikedByUser":false},{"_id":"67fb8ab648b298a5fdec094f","position":4,"type":"model","author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":2064,"gated":false,"id":"AI-MO/Kimina-Autoformalizer-7B","availableInferenceProviders":[{"provider":"featherless-ai","modelStatus":"live","providerStatus":"live","providerId":"AI-MO/Kimina-Autoformalizer-7B","task":"conversational","adapterWeightsPath":"model-00001-of-00004.safetensors"}],"lastModified":"2025-04-16T08:52:17.000Z","likes":13,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":7615616512}],"position":2,"theme":"blue","private":false,"shareUrl":"https://huggingface.co/collections/AI-MO/kimina-prover-preview-67fb536b883d60e7ca25d7f9","upvotes":33,"isUpvotedByUser":false},{"slug":"AI-MO/aimo-progress-prize-66880e93a45c16cfb4627269","title":"AIMO Progress Prize","description":"Models and datasets used in the winning solution to the AIMO 1st Progress Prize","gating":false,"lastUpdated":"2024-07-19T10:13:54.693Z","owner":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"items":[{"_id":"66880e98a45c16cfb462743a","position":1,"type":"model","author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":1223,"gated":false,"id":"AI-MO/NuminaMath-7B-TIR","availableInferenceProviders":[],"lastModified":"2024-08-14T14:05:27.000Z","likes":348,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":6910365696},{"_id":"66880e9fc01caa18eff6dd3d","position":2,"type":"model","author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":91,"gated":false,"id":"AI-MO/NuminaMath-7B-TIR-GPTQ","availableInferenceProviders":[],"lastModified":"2024-07-09T21:37:26.000Z","likes":7,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[]},{"_id":"668d1cdab09a05f3d7971165","position":3,"type":"dataset","author":"AI-MO","downloads":5691,"gated":false,"id":"AI-MO/aimo-validation-aime","lastModified":"2025-05-07T06:40:27.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":90,"libraries":["datasets","pandas","mlcroissant","polars"],"formats":["parquet"],"modalities":["text"]},"private":false,"repoType":"dataset","likes":53,"isLikedByUser":false},{"_id":"668d1ceff4ab25acfec7c95c","position":4,"type":"dataset","author":"AI-MO","downloads":4023,"gated":false,"id":"AI-MO/aimo-validation-amc","lastModified":"2025-05-07T06:40:39.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":83,"libraries":["datasets","pandas","mlcroissant","polars"],"formats":["parquet"],"modalities":["tabular","text"]},"private":false,"repoType":"dataset","likes":16,"isLikedByUser":false}],"position":3,"theme":"blue","private":false,"shareUrl":"https://huggingface.co/collections/AI-MO/aimo-progress-prize-66880e93a45c16cfb4627269","upvotes":13,"isUpvotedByUser":false},{"slug":"AI-MO/numinamath-6697df380293bcfdbc1d978c","title":"NuminaMath","description":"Datasets and models for training SOTA math LLMs. See our GitHub for training & inference code: https://github.com/project-numina/aimo-progress-prize","gating":false,"lastUpdated":"2025-02-10T13:39:40.402Z","owner":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"items":[{"_id":"6698cabcf8acfbb56976562c","position":0,"type":"dataset","note":{"html":"A dataset of 860k+ math competition problem-solution pairs, with each solution templated with Chain of Thought (CoT) reasoning.\n","text":"A dataset of 860k+ math competition problem-solution pairs, with each solution templated with Chain of Thought (CoT) reasoning.\n"},"author":"AI-MO","downloads":4354,"gated":false,"id":"AI-MO/NuminaMath-CoT","lastModified":"2024-11-25T05:31:43.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":859594,"libraries":["datasets","dask","mlcroissant","polars"],"formats":["parquet"],"modalities":["text"]},"private":false,"repoType":"dataset","likes":484,"isLikedByUser":false},{"_id":"6698cad61cfa934d1d1c3e98","position":1,"type":"dataset","note":{"html":"A dataset of 70k+ math competition problems, with each solution generated by GPT-4 with tool-integrated reasoning (TIR).","text":"A dataset of 70k+ math competition problems, with each solution generated by GPT-4 with tool-integrated reasoning (TIR)."},"author":"AI-MO","downloads":2863,"gated":false,"id":"AI-MO/NuminaMath-TIR","lastModified":"2024-11-25T05:32:53.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":72540,"libraries":["datasets","pandas","mlcroissant","polars"],"formats":["parquet"],"modalities":["text"]},"private":false,"repoType":"dataset","likes":138,"isLikedByUser":false},{"_id":"6698cc60bc2f8c7459301c70","position":2,"type":"model","author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":1112,"gated":false,"id":"AI-MO/NuminaMath-7B-CoT","availableInferenceProviders":[],"lastModified":"2024-07-19T12:24:13.000Z","likes":24,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":6910365696},{"_id":"6698cc88ab9d4a0293bb856e","position":3,"type":"model","author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":1223,"gated":false,"id":"AI-MO/NuminaMath-7B-TIR","availableInferenceProviders":[],"lastModified":"2024-08-14T14:05:27.000Z","likes":348,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":6910365696}],"position":4,"theme":"green","private":false,"shareUrl":"https://huggingface.co/collections/AI-MO/numinamath-6697df380293bcfdbc1d978c","upvotes":78,"isUpvotedByUser":false}],"datasets":[{"author":"AI-MO","downloads":133,"gated":false,"id":"AI-MO/Kimina-Prover-Promptset","lastModified":"2025-08-13T12:58:20.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":24418,"libraries":["datasets","pandas","mlcroissant","polars"],"formats":["parquet"],"modalities":["text"]},"private":false,"repoType":"dataset","likes":0,"isLikedByUser":false},{"author":"AI-MO","downloads":1552,"gated":false,"id":"AI-MO/NuminaMath-LEAN","lastModified":"2025-07-31T15:18:45.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":104155,"libraries":["datasets","pandas","mlcroissant","polars"],"formats":["parquet"],"modalities":["text"]},"private":false,"repoType":"dataset","likes":38,"isLikedByUser":false},{"author":"AI-MO","downloads":46,"gated":false,"id":"AI-MO/GeometryLeanBench","lastModified":"2025-07-23T08:14:07.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":122,"libraries":["datasets","pandas","mlcroissant","polars"],"formats":["json"],"modalities":["text"]},"private":false,"repoType":"dataset","likes":0,"isLikedByUser":false},{"author":"AI-MO","downloads":169,"gated":false,"id":"AI-MO/CombiBench","lastModified":"2025-07-13T12:31:01.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":200,"libraries":["datasets","pandas","mlcroissant","polars"],"formats":["parquet"],"modalities":["text"]},"private":false,"repoType":"dataset","likes":9,"isLikedByUser":false},{"author":"AI-MO","downloads":961,"gated":false,"id":"AI-MO/minif2f_test","lastModified":"2025-07-04T10:22:36.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":244,"libraries":["datasets","pandas","mlcroissant","polars"],"formats":["parquet"],"modalities":["text"]},"private":false,"repoType":"dataset","likes":6,"isLikedByUser":false},{"author":"AI-MO","downloads":4023,"gated":false,"id":"AI-MO/aimo-validation-amc","lastModified":"2025-05-07T06:40:39.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":83,"libraries":["datasets","pandas","mlcroissant","polars"],"formats":["parquet"],"modalities":["tabular","text"]},"private":false,"repoType":"dataset","likes":16,"isLikedByUser":false},{"author":"AI-MO","downloads":5691,"gated":false,"id":"AI-MO/aimo-validation-aime","lastModified":"2025-05-07T06:40:27.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":90,"libraries":["datasets","pandas","mlcroissant","polars"],"formats":["parquet"],"modalities":["text"]},"private":false,"repoType":"dataset","likes":53,"isLikedByUser":false},{"author":"AI-MO","downloads":3924,"gated":false,"id":"AI-MO/NuminaMath-1.5","lastModified":"2025-02-10T13:28:01.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":896215,"libraries":["datasets","dask","mlcroissant","polars"],"formats":["parquet"],"modalities":["text"]},"private":false,"repoType":"dataset","likes":157,"isLikedByUser":false},{"author":"AI-MO","downloads":2863,"gated":false,"id":"AI-MO/NuminaMath-TIR","lastModified":"2024-11-25T05:32:53.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":72540,"libraries":["datasets","pandas","mlcroissant","polars"],"formats":["parquet"],"modalities":["text"]},"private":false,"repoType":"dataset","likes":138,"isLikedByUser":false},{"author":"AI-MO","downloads":4354,"gated":false,"id":"AI-MO/NuminaMath-CoT","lastModified":"2024-11-25T05:31:43.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":859594,"libraries":["datasets","dask","mlcroissant","polars"],"formats":["parquet"],"modalities":["text"]},"private":false,"repoType":"dataset","likes":484,"isLikedByUser":false}],"models":[{"author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":261,"gated":false,"id":"AI-MO/Kimina-Prover-RL-1.7B","availableInferenceProviders":[],"lastModified":"2025-08-14T07:52:26.000Z","likes":5,"private":false,"repoType":"model","isLikedByUser":false,"numParameters":2031739904},{"author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":85,"gated":false,"id":"AI-MO/Kimina-Prover-RL-0.6B","availableInferenceProviders":[],"lastModified":"2025-08-14T07:52:06.000Z","likes":3,"private":false,"repoType":"model","isLikedByUser":false,"numParameters":751632384},{"author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":3215,"gated":false,"id":"AI-MO/Kimina-Prover-Distill-0.6B","availableInferenceProviders":[],"lastModified":"2025-08-14T06:17:37.000Z","likes":1,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":751632384},{"author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":42677,"gated":false,"id":"AI-MO/Kimina-Prover-Distill-1.7B","availableInferenceProviders":[{"provider":"featherless-ai","modelStatus":"live","providerStatus":"live","providerId":"AI-MO/Kimina-Prover-Distill-1.7B","task":"conversational"}],"lastModified":"2025-07-10T11:33:21.000Z","likes":8,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":2031739904},{"author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":1516,"gated":false,"id":"AI-MO/Kimina-Prover-Distill-8B","availableInferenceProviders":[{"provider":"featherless-ai","modelStatus":"live","providerStatus":"live","providerId":"AI-MO/Kimina-Prover-Distill-8B","task":"conversational"}],"lastModified":"2025-07-10T11:32:32.000Z","likes":8,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":8190735360},{"author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":531,"gated":false,"id":"AI-MO/Kimina-Prover-72B","availableInferenceProviders":[{"provider":"featherless-ai","modelStatus":"live","providerStatus":"live","providerId":"AI-MO/Kimina-Prover-72B","task":"conversational"}],"lastModified":"2025-07-10T11:31:57.000Z","likes":27,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":72706203648},{"author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":2191,"gated":false,"id":"AI-MO/Kimina-Prover-Preview-Distill-7B","availableInferenceProviders":[{"provider":"featherless-ai","modelStatus":"live","providerStatus":"live","providerId":"AI-MO/Kimina-Prover-Preview-Distill-7B","task":"conversational"}],"lastModified":"2025-04-17T20:04:49.000Z","likes":36,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":7615616512},{"author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":1407,"gated":false,"id":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","availableInferenceProviders":[],"lastModified":"2025-04-16T08:53:13.000Z","likes":10,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":1777088000},{"author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":2064,"gated":false,"id":"AI-MO/Kimina-Autoformalizer-7B","availableInferenceProviders":[{"provider":"featherless-ai","modelStatus":"live","providerStatus":"live","providerId":"AI-MO/Kimina-Autoformalizer-7B","task":"conversational"}],"lastModified":"2025-04-16T08:52:17.000Z","likes":13,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":7615616512},{"author":"AI-MO","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"downloads":1223,"gated":false,"id":"AI-MO/NuminaMath-7B-TIR","availableInferenceProviders":[],"lastModified":"2024-08-14T14:05:27.000Z","likes":348,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":6910365696}],"spaces":[],"numDatasets":12,"numModels":14,"numSpaces":0,"lastOrgActivities":[{"time":"2025-07-15T19:12:38.232Z","user":"thibautbar","userAvatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/67c7666cd51b75fc80596316/5l5x9PRzLuPwuauN-ZXDW.jpeg","type":"paper","paper":{"id":"2504.11354","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with\n Reinforcement Learning","publishedAt":"2025-04-15T16:23:44.000Z","upvotes":6,"isUpvotedByUser":true}},{"time":"2025-06-27T09:13:44.381Z","user":"hynky","userAvatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/626ede24d2fa9e7d598c8709/JKS8-Y2Jw87EgNQZBRswq.jpeg","type":"paper","paper":{"id":"2506.20920","title":"FineWeb2: One Pipeline to Scale Them All -- Adapting Pre-Training Data\n Processing to Every Language","publishedAt":"2025-06-26T01:01:47.000Z","upvotes":69,"isUpvotedByUser":true}},{"time":"2025-05-27T13:04:29.430Z","user":"floodsung","userAvatarUrl":"","type":"paper","paper":{"id":"2505.13426","title":"G1: Bootstrapping Perception and Reasoning Abilities of Vision-Language\n Model via Reinforcement Learning","publishedAt":"2025-05-19T17:54:39.000Z","upvotes":13,"isUpvotedByUser":true}}],"acceptLanguages":["*"],"canReadRepos":false,"canReadSpaces":false,"blogPosts":[{"_id":"689d93bbef939c911fb501f3","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"canonical":false,"isUpvotedByUser":false,"numCoauthors":18,"publishedAt":"2025-08-14T12:13:01.545Z","slug":"kimina-prover-rl","status":"published","title":"Kimina-Prover-RL","upvotes":9,"isHFChangelog":false},{"_id":"686ea1d5b5d1c9aefe09716f","authorData":{"_id":"659a9f55eabe0f3e9812aa63","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png","fullname":"Project-Numina","name":"AI-MO","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"isEnterprise":true,"followerCount":403},"canonical":false,"isUpvotedByUser":false,"numCoauthors":17,"publishedAt":"2025-07-10T12:54:19.800Z","slug":"kimina-prover","status":"published","title":"Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models","upvotes":48,"isHFChangelog":false},{"_id":"668ffc2822884e46f449a46b","authors":[{"user":"yfleureau","guest":true,"org":"AI-MO"},{"user":"liyongsea","guest":true,"org":"AI-MO"},{"user":"edbeeching"},{"user":"lewtun"},{"user":"benlipkin","guest":true,"org":"AI-MO"},{"user":"romansoletskyi","guest":true,"org":"AI-MO"},{"user":"vwxyzjn"},{"user":"kashif"}],"canonical":true,"isUpvotedByUser":false,"numCoauthors":7,"publishedAt":"2024-07-11T00:00:00.000Z","slug":"winning-aimo-progress-prize","title":"How NuminaMath Won the 1st AIMO Progress Prize","upvotes":122,"authorData":{"_id":"6613d8cf57069afc2877af3e","avatarUrl":"https://aifasthub.com/avatars/v1/production/uploads/6613d8cf57069afc2877af3e/s5mtNBT371rNnKPauwdW7.png","fullname":"Yann Fleureau","name":"yfleureau","type":"user","isPro":false,"isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":10}}],"currentRepoPage":0,"filters":{}}">

AI & ML interests

None defined yet.

Recent Activity

Articles

AI4Math

Advancing open-source AI4Math

Numina is a non-profit with a mission to foster the development of human and artificial intelligence in the field of mathematics. In this organization, you can find our open-source model (Numina-Math-7B) and datasets.