☆78Jun 20, 2025Updated 8 months ago
Alternatives and similar repositories for Kimi-Researcher
Users that are interested in Kimi-Researcher are comparing it to the libraries listed below
Sorting:
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆33Aug 13, 2025Updated 6 months ago
- Official repository of the video reasoning benchmark MMR-V. Can Your MLLMs "Think with Video"?☆38Jun 23, 2025Updated 8 months ago
- cline使用dify平台的api进行创建文件以及ai问答，降低成本☆15Jan 10, 2025Updated last year
- Persistent dense gemm for Hopper in `CuTeDSL`☆15Aug 9, 2025Updated 6 months ago
- ☆52May 19, 2025Updated 9 months ago
- Description for MV-MATH☆15Jul 20, 2025Updated 7 months ago
- DeepGEMM: clean and efficient FP8 GEMM kernels with fine-grained scaling☆21Feb 9, 2026Updated 3 weeks ago
- Code for RL4F: Generating Natural Language Feedback with Reinforcement Learning for Repairing Model Outputs. ACL 2023.☆64Nov 27, 2024Updated last year
- Official implementation of "Continual Learning by Modeling Intra-Class Variation" (MOCA). [TMLR 2023]☆16Mar 3, 2023Updated 3 years ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated last year
- Solving Inequality Proofs with Large Language Models.☆58Dec 15, 2025Updated 2 months ago
- ☆99Aug 8, 2025Updated 6 months ago
- ☆11Feb 25, 2026Updated last week
- Harmonic Datasets☆52Jul 12, 2024Updated last year
- ☆40Dec 16, 2025Updated 2 months ago
- [EMNLP-2025] R1-Zero on ANY TASK☆27Nov 9, 2025Updated 3 months ago
- [ACL 2024 Findings] The official repo for "ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large …☆24May 29, 2024Updated last year
- Kimi-VL: Mixture-of-Experts Vision-Language Model for Multimodal Reasoning, Long-Context Understanding, and Strong Agent Capabilities☆1,164Jul 15, 2025Updated 7 months ago
- 利用AI技术自动化完成数据收集、分析与报告生成，显著提升调研效率与准确性，为决策提供高效支持。☆33Feb 26, 2025Updated last year
- [ACL 2024 Findings] CriticBench: Benchmarking LLMs for Critique-Correct Reasoning☆30Mar 5, 2024Updated last year
- OpenAI WebRTC example app: Realtime API voice chat app, built with React/Next.js☆32Jan 3, 2025Updated last year
- Triton adapter for Ascend. Mirror of https://gitcode.com/ascend/triton-ascend☆110Updated this week
- Technical report of Kimina-Prover Preview.☆362Jul 10, 2025Updated 7 months ago
- 记录NLP、CV、搜索、推荐等AI岗位最新情况。☆28Mar 17, 2023Updated 2 years ago
- Open-source examples and guides for building with the Qwen. Browse a collection of snippets, advanced techniques and walkthroughs.☆37Nov 20, 2024Updated last year
- ☆47Aug 5, 2025Updated 6 months ago
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆67Feb 29, 2024Updated 2 years ago
- ☆43Mar 15, 2025Updated 11 months ago
- A simple WeChat Official Account layout tool based on Dify☆17Jun 27, 2025Updated 8 months ago
- ☆55Feb 2, 2026Updated last month
- Difyで作る生成AIアプリ完全入門☆17May 25, 2025Updated 9 months ago
- ☆23Updated this week
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆183Jul 23, 2025Updated 7 months ago
- High-Resolution Visual Reasoning via Multi-Turn Grounding-Based Reinforcement Learning☆53Jul 23, 2025Updated 7 months ago
- ☆95Apr 2, 2025Updated 11 months ago
- ☆30Dec 27, 2024Updated last year
- GHOSTS dataset☆39Jul 19, 2023Updated 2 years ago
- ☆87Updated this week