{"data":{"node":{"slug":"hkust-nlp-dart-math","name":"dart-math","tagline":"Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving","github_url":"https://github.com/hkust-nlp/dart-math","owner":"hkust-nlp","repo":"dart-math","owner_avatar_url":"https://avatars.githubusercontent.com/u/116073107?v=4","primary_language":"Jupyter Notebook","stars":120,"forks":8,"topics":["deep-learning","llm","llm-evaluation","llm-inference","llm-training","mathematics","nlp"],"archived":false,"github_pushed_at":"2024-12-10T04:55:00+00:00","maintenance_label":"Dormant","url":"https://www.graphcanon.com/tools/hkust-nlp-dart-math","markdown_url":"https://www.graphcanon.com/tools/hkust-nlp-dart-math.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/hkust-nlp-dart-math","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=hkust-nlp-dart-math"},"categories":[{"slug":"evaluation-observability","name":"Evaluation & Observability","url":"https://www.graphcanon.com/categories/evaluation-observability","markdown_url":"https://www.graphcanon.com/categories/evaluation-observability.md","api_url":"https://www.graphcanon.com/api/graphcanon/categories/evaluation-observability"},{"slug":"inference-serving","name":"Inference & Serving","url":"https://www.graphcanon.com/categories/inference-serving","markdown_url":"https://www.graphcanon.com/categories/inference-serving.md","api_url":"https://www.graphcanon.com/api/graphcanon/categories/inference-serving"},{"slug":"model-training","name":"Model Training","url":"https://www.graphcanon.com/categories/model-training","markdown_url":"https://www.graphcanon.com/categories/model-training.md","api_url":"https://www.graphcanon.com/api/graphcanon/categories/model-training"}],"tags":[{"slug":"deep-learning","name":"deep-learning"},{"slug":"llm","name":"llm"},{"slug":"llm-evaluation","name":"llm-evaluation"},{"slug":"llm-inference","name":"llm-inference"},{"slug":"llm-training","name":"llm-training"},{"slug":"mathematics","name":"mathematics"},{"slug":"nlp","name":"nlp"}],"edges":[],"neighbours":[{"slug":"patchy631-ai-engineering-hub","name":"ai-engineering-hub","tagline":"Tutorials on LLMs, RAGs, and real-world AI agent applications","github_url":"https://github.com/patchy631/ai-engineering-hub","owner":"patchy631","repo":"ai-engineering-hub","owner_avatar_url":"https://avatars.githubusercontent.com/u/38653995?v=4","primary_language":"Jupyter Notebook","stars":37020,"forks":6107,"topics":["agents","ai","llms","machine-learning","mcp","rag"],"archived":false,"github_pushed_at":"2026-07-27T18:43:06+00:00","maintenance_label":"Active","url":"https://www.graphcanon.com/tools/patchy631-ai-engineering-hub","markdown_url":"https://www.graphcanon.com/tools/patchy631-ai-engineering-hub.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/patchy631-ai-engineering-hub","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=patchy631-ai-engineering-hub","shared_categories":[]},{"slug":"princeton-nlp-tree-of-thought-llm","name":"tree-of-thought-llm","tagline":"[NeurIPS 2023] Tree of Thoughts: Deliberate Problem Solving with Large Language Models","github_url":"https://github.com/princeton-nlp/tree-of-thought-llm","owner":"princeton-nlp","repo":"tree-of-thought-llm","owner_avatar_url":"https://avatars.githubusercontent.com/u/44678448?v=4","primary_language":"Python","stars":6048,"forks":624,"topics":["large-language-models","llm","prompting","tree-of-thoughts","tree-search"],"archived":false,"github_pushed_at":"2025-01-16T20:02:00+00:00","maintenance_label":"Dormant","url":"https://www.graphcanon.com/tools/princeton-nlp-tree-of-thought-llm","markdown_url":"https://www.graphcanon.com/tools/princeton-nlp-tree-of-thought-llm.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/princeton-nlp-tree-of-thought-llm","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=princeton-nlp-tree-of-thought-llm","shared_categories":["model-training"]},{"slug":"trigaten-learn-prompting","name":"Learn_Prompting","tagline":"Your Go-To Resource for Mastering Generative AI","github_url":"https://github.com/trigaten/Learn_Prompting","owner":"trigaten","repo":"Learn_Prompting","owner_avatar_url":"https://avatars.githubusercontent.com/u/42948753?v=4","primary_language":"MDX","stars":4726,"forks":668,"topics":["chatgpt","chatgpt-api","deep-learning","gpt-3","gpt-4","gpt-4-api","gpt3","large-language-models","llm","machine-learning","nlp","openai-api","prompt-engineering","prompt-toolkit","prompt-tuning","prompting","transformers"],"archived":false,"github_pushed_at":"2025-01-14T15:04:07+00:00","maintenance_label":"Dormant","url":"https://www.graphcanon.com/tools/trigaten-learn-prompting","markdown_url":"https://www.graphcanon.com/tools/trigaten-learn-prompting.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/trigaten-learn-prompting","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=trigaten-learn-prompting","shared_categories":[]},{"slug":"eth-sri-lmql","name":"lmql","tagline":"A language for constraint-guided and efficient LLM programming.","github_url":"https://github.com/eth-sri/lmql","owner":"eth-sri","repo":"lmql","owner_avatar_url":"https://avatars.githubusercontent.com/u/5363413?v=4","primary_language":"Python","stars":4203,"forks":221,"topics":["chatgpt","huggingface","language-model","programming-language"],"archived":false,"github_pushed_at":"2025-05-22T07:32:31+00:00","maintenance_label":"Dormant","url":"https://www.graphcanon.com/tools/eth-sri-lmql","markdown_url":"https://www.graphcanon.com/tools/eth-sri-lmql.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/eth-sri-lmql","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=eth-sri-lmql","shared_categories":[]},{"slug":"0xnyk-council-of-high-intelligence","name":"council-of-high-intelligence","tagline":"AI personas deliberate decisions across LLM providers","github_url":"https://github.com/0xNyk/council-of-high-intelligence","owner":"0xNyk","repo":"council-of-high-intelligence","owner_avatar_url":"https://avatars.githubusercontent.com/u/93952610?v=4","primary_language":"Shell","stars":3779,"forks":25,"topics":["agent-skill","ai-agents","claude-code","codex","decision-making","deliberation","gemini-cli","llm-routing","multi-agent-systems","multi-llm","open-source","opencode","prompt-engineering","structured-debate"],"archived":false,"github_pushed_at":"2026-07-27T06:27:33+00:00","maintenance_label":"Steady","url":"https://www.graphcanon.com/tools/0xnyk-council-of-high-intelligence","markdown_url":"https://www.graphcanon.com/tools/0xnyk-council-of-high-intelligence.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/0xnyk-council-of-high-intelligence","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=0xnyk-council-of-high-intelligence","shared_categories":["evaluation-observability"]},{"slug":"hegelai-prompttools","name":"prompttools","tagline":"Open-source tools for prompt testing and experimentation","github_url":"https://github.com/hegelai/prompttools","owner":"hegelai","repo":"prompttools","owner_avatar_url":"https://avatars.githubusercontent.com/u/136523567?v=4","primary_language":"Python","stars":3046,"forks":255,"topics":["deep-learning","developer-tools","embeddings","large-language-models","llms","machine-learning","prompt-engineering","python","vector-search"],"archived":false,"github_pushed_at":"2026-02-11T03:24:04+00:00","maintenance_label":"Slowing","url":"https://www.graphcanon.com/tools/hegelai-prompttools","markdown_url":"https://www.graphcanon.com/tools/hegelai-prompttools.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/hegelai-prompttools","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=hegelai-prompttools","shared_categories":[]},{"slug":"spcl-graph-of-thoughts","name":"graph-of-thoughts","tagline":"Implementation of Graph of Thoughts for large language models problem-solving","github_url":"https://github.com/spcl/graph-of-thoughts","owner":"spcl","repo":"graph-of-thoughts","owner_avatar_url":"https://avatars.githubusercontent.com/u/31108244?v=4","primary_language":"Python","stars":2826,"forks":217,"topics":["graph-of-thoughts","graph-structures","graphs","large-language-models","llm","prompt-engineering","prompting"],"archived":false,"github_pushed_at":"2026-03-24T17:26:16+00:00","maintenance_label":"Slowing","url":"https://www.graphcanon.com/tools/spcl-graph-of-thoughts","markdown_url":"https://www.graphcanon.com/tools/spcl-graph-of-thoughts.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/spcl-graph-of-thoughts","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=spcl-graph-of-thoughts","shared_categories":["model-training"]},{"slug":"franxyao-chain-of-thought-hub","name":"chain-of-thought-hub","tagline":"Benchmarking large language models' complex reasoning ability with chain-of-thought prompting","github_url":"https://github.com/FranxYao/chain-of-thought-hub","owner":"FranxYao","repo":"chain-of-thought-hub","owner_avatar_url":"https://avatars.githubusercontent.com/u/17723677?v=4","primary_language":"Jupyter Notebook","stars":2774,"forks":144,"topics":[],"archived":false,"github_pushed_at":"2024-08-04T09:40:18+00:00","maintenance_label":"Dormant","url":"https://www.graphcanon.com/tools/franxyao-chain-of-thought-hub","markdown_url":"https://www.graphcanon.com/tools/franxyao-chain-of-thought-hub.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/franxyao-chain-of-thought-hub","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=franxyao-chain-of-thought-hub","shared_categories":["evaluation-observability"]},{"slug":"evalplus-evalplus","name":"evalplus","tagline":"Rigorous evaluation of LLM-synthesized code","github_url":"https://github.com/evalplus/evalplus","owner":"evalplus","repo":"evalplus","owner_avatar_url":"https://avatars.githubusercontent.com/u/132106461?v=4","primary_language":"Python","stars":1794,"forks":205,"topics":["benchmark","chatgpt","efficiency","gpt-4","large-language-models","program-synthesis","testing"],"archived":false,"github_pushed_at":"2025-10-02T22:56:38+00:00","maintenance_label":"Slowing","url":"https://www.graphcanon.com/tools/evalplus-evalplus","markdown_url":"https://www.graphcanon.com/tools/evalplus-evalplus.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/evalplus-evalplus","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=evalplus-evalplus","shared_categories":["evaluation-observability"]},{"slug":"lean-dojo-leancopilot","name":"LeanCopilot","tagline":"LLMs as Copilots for Theorem Proving in Lean","github_url":"https://github.com/lean-dojo/LeanCopilot","owner":"lean-dojo","repo":"LeanCopilot","owner_avatar_url":"https://avatars.githubusercontent.com/u/136513911?v=4","primary_language":"C++","stars":1314,"forks":127,"topics":["formal-mathematics","lean","lean4","llm","llm-inference","machine-learning","theorem-proving"],"archived":false,"github_pushed_at":"2026-08-22T02:14:29+00:00","maintenance_label":"Very active","url":"https://www.graphcanon.com/tools/lean-dojo-leancopilot","markdown_url":"https://www.graphcanon.com/tools/lean-dojo-leancopilot.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/lean-dojo-leancopilot","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=lean-dojo-leancopilot","shared_categories":[]},{"slug":"bigcode-project-bigcode-evaluation-harness","name":"bigcode-evaluation-harness","tagline":"A framework for evaluating autoregressive code generation language models.","github_url":"https://github.com/bigcode-project/bigcode-evaluation-harness","owner":"bigcode-project","repo":"bigcode-evaluation-harness","owner_avatar_url":"https://avatars.githubusercontent.com/u/110470554?v=4","primary_language":"Python","stars":1055,"forks":261,"topics":[],"archived":false,"github_pushed_at":"2025-07-22T13:18:09+00:00","maintenance_label":"Dormant","url":"https://www.graphcanon.com/tools/bigcode-project-bigcode-evaluation-harness","markdown_url":"https://www.graphcanon.com/tools/bigcode-project-bigcode-evaluation-harness.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/bigcode-project-bigcode-evaluation-harness","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=bigcode-project-bigcode-evaluation-harness","shared_categories":["evaluation-observability"]},{"slug":"plastic-labs-tutor-gpt","name":"tutor-gpt","tagline":"AI tutor powered by Theory-of-Mind reasoning","github_url":"https://github.com/plastic-labs/tutor-gpt","owner":"plastic-labs","repo":"tutor-gpt","owner_avatar_url":"https://avatars.githubusercontent.com/u/123981229?v=4","primary_language":"TypeScript","stars":921,"forks":99,"topics":["ai","education","hacktoberfest","literacy","machine-learning","o1","prompt-engineering","reasoning","theory-of-mind","tutoring"],"archived":false,"github_pushed_at":"2026-02-20T07:07:01+00:00","maintenance_label":"Slowing","url":"https://www.graphcanon.com/tools/plastic-labs-tutor-gpt","markdown_url":"https://www.graphcanon.com/tools/plastic-labs-tutor-gpt.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/plastic-labs-tutor-gpt","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=plastic-labs-tutor-gpt","shared_categories":["evaluation-observability"]}]}}