lhydave / AIM-chatbotLinks
一个基于《AI 中的数学》教材内容的 AI 助教系统
☆18Updated 5 months ago
Alternatives and similar repositories for AIM-chatbot
Users that are interested in AIM-chatbot are comparing it to the libraries listed below
Sorting:
- ☆24Updated 3 weeks ago
- ☆113Updated last week
- I love AI.☆30Updated 10 months ago
- 作业和大作业,期末大作业我没写,期中的跑分好像挺猛的☆18Updated last year
- Paper list for Efficient Reasoning.☆710Updated 2 weeks ago
- My solutions and supplemental resources for CS224N in the spring of 2024.☆29Updated last year
- The repository for USTC DS4001.01.2025SP, belonging to TAs☆37Updated 5 months ago
- I love C++.☆35Updated 10 months ago
- A comprehensive framework for benchmarking single and multi-agent systems across a wide range of tasks—evaluating performance, accuracy, …☆32Updated 2 months ago
- ☆1,130Updated 2 months ago
- ☆24Updated 9 months ago
- 北大选课网补退选阶段自动选课小工具(2023秋-不定长验证码)☆85Updated last year
- In this work, we investigate the compositionality of large language models (LLMs) in mathematical reasoning. Specifically, we construct a…☆61Updated 7 months ago
- I love CV.☆80Updated 7 months ago
- This is the code for the PKU2023fall VCL lab.☆14Updated last year
- 🔥 How to efficiently and effectively compress the CoTs or directly generate concise CoTs during inference while maintaining the reasonin…☆64Updated 5 months ago
- [TMLR 2025] Stop Overthinking: A Survey on Efficient Reasoning for Large Language Models☆675Updated 2 weeks ago
- A Survey of Reinforcement Learning for Large Reasoning Models☆2,001Updated this week
- A Framework for LLM-based Multi-Agent Reinforced Training and Inference☆326Updated last week
- verl-agent is an extension of veRL, designed for training LLM/VLM agents via RL. verl-agent is also the official code for paper "Group-in…☆1,117Updated 3 weeks ago
- Latest Advances on System-2 Reasoning☆1,264Updated 5 months ago
- 北京大学/北大/PKU自动预约入校☆75Updated last month
- ☆45Updated 3 weeks ago
- A version of verl to support diverse tool use☆654Updated 2 weeks ago
- one of my CSC courses in CUHK(SZ)☆19Updated 3 years ago
- Using LLM to evaluate MMLU dataset.☆39Updated last year
- A comprehensive guide for beginners in the field of data management and artificial intelligence.☆462Updated 7 months ago
- PKU course materials on computer science & life sciences.☆120Updated 2 weeks ago
- The official code of ARPO & AEPO☆760Updated this week
- Awesome List for Agentic RL☆531Updated 3 weeks ago