“mathematics”

4 tools · ranked by relevance and freshness, not ad spend.

Result neighbourhood

Top matches for your query, linked as a graph hub. Follow any node to drill in.

LeanCopilot1.3k★Data-Science-EBooks942★dart-math120★qwed-verification58★

FilterSort · Relevance

dart-math

[NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*

DormantJupyter Notebookdeep-learningllmpushed 1y

120

stars

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

ActiveC++formal-mathematicsleanpushed 3w

1.3k

stars

Data-Science-EBooks

Welcome to the Data Science EBooks repository! This collection offers a variety of high-quality ebooks on Data Science, Machine Learning, and AI. Perfect for both beginners and advanced learners, expl

Slowingaicomputer-visionpushed 7mo

942

stars

qwed-verification

A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic

Very activePythonai-accuracyai-safetypushed 2d

stars