Lists (1)
Stars
A cross-platform desktop All-in-One assistant tool for Claude Code, Codex & Gemini CLI.
Implementation of "Curriculum Reinforcement Learning from Easy to Hard Tasks Improves LLM Reasoning"
Lean theorem proving interface which feels like pen-and-paper proofs.
Agent framework and applications built upon Qwen>=3.0, featuring Function Calling, MCP, Code Interpreter, RAG, Chrome extension, etc.
The FATE (Formal Algebra Theorem Evaluation) benchmarks.
slime is an LLM post-training framework for RL Scaling.
This is the official public repository for Lean4PHYS
A search engine for Lean 4 declarations
提供多款 Shadowrocket 规则，拥有强劲的广告过滤功能。每日 8 时重新构建规则。
Official implementation of Auto-Slides: Automatic Academic Presentation Generation with Multi-Agent Collaboration
✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
Formally-verified dimensional analysis in Lean
Search-R1: An Efficient, Scalable RL Training Framework for Reasoning & Search Engine Calling interleaved LLM based on veRL
✨ Agentic IM ChatBot Infrastructure — 聊天智能体基础设施 ✨ 多消息平台集成（QQ / Telegram / 企微 / 飞书 / 钉钉等），强大易用的插件系统，支持 OpenAI / Gemini / Anthropic / Dify / Coze / 阿里云百炼 / 知识库 / Agent 智能体
StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion
A collection of recent open-source math datasets for training and evaluating Math LLMs
[COLM25] Enhancing Autoformalization with no Labeled Data
A terminal application to view, tail, merge, and search log files (plus JSONL).
An open-source AI agent that brings the power of Gemini directly into your terminal.