huggingface/Math-Verify
A Python library for verifying mathematical proofs using natural language processing.
Python
AI & Machine Learning
LLM Wrappers & SDKs
Apache-2.0
1.1K
Stars
53
Forks
Jan 17, 2025
Created
Jan 10, 2026
Last Updated
Project Analytics
Stars Growth (1 Month)
+20
+1.8% change
Avg Daily Growth (1 Month)
+0.7
stars per day
Fork/Star Ratio (All Time)
4.8%
Normal engagement
Lifetime Growth
2.7
stars/day over 414 days
Stars Over Time
Forks Over Time
Open Issues Over Time
Pull Requests Over Time
Commits Over Time
AI-Generated Tags
nlp
math-verification
proof-checking
educational
open-source
Similar Projects
EbookFoundation/free-programming-books
Free programming books repository with AI-powered features
383.6K
Python
jwasham/coding-interview-university
A comprehensive computer science study plan for software engineers, with a focus on coding interviews and AI-related topics.
337.6K
vinta/awesome-python
Awesome Python framework and resource collection
285.7K
Python
openclaw/openclaw
Personal AI assistant for messaging platforms, self-hosted and multi-channel
265.0K
TypeScript
Comments (0)
Sign in to leave a comment or vote
Sign InNo comments yet. Be the first to comment!
Stay in the loop
Get weekly updates on trending AI coding tools and projects.