PrithwishJana/ProofBridge
[ICLR-2026 main track] ProofBridge is a unified framework that translates natural language theorems and proofs into Lean 4 using joint embeddings, cross-modal retrieval-augmented fine-tuning, and iterative proof repair, achieving strong semantic and type correctness gains.
14
Stars
1
Forks
21.4
Radar Score
Stable
Momentum
Scoring Breakdown
Impact2.9
Velocity23.0
Health48.8
Growth Metrics
7-Day Stars
+0
30-Day Stars
+0
Acceleration
x
Language
Python
Popular Alternatives & Competitors
Top projects in the same category (RAG) — compare side by side.
🛡️ Enterprise Readiness & Commercial Safety
Organic Growth
95%
High Confidence
Growth pattern looks organic.
License
Permissive (Commercial Friendly)
Safe for commercial use, modification, and distribution.
Health Grade
B
Based on maintenance, issue response, and release cadence.
Radar Score
21.4
Composite of Impact, Velocity, and Health.
Disclaimer: This is an automated heuristic assessment based on public GitHub signals. Always perform your own security audit, dependency review, and legal compliance check before production deployment.
Share & Embed
Display live Radar metrics in your documentation, website, or social profiles.