Evidence Receipt. Related Resources.
SorryDB: Can AI Provers Complete Real-World Lean Theorems?
Compared to this week’s papers
Verification pending
Use This Via API or MCP
Use Signal Canvas as the narrative proof surface
Signal Canvas is the citation-first public layer for turning one paper into a structured commercialization narrative. Use it to hand off into REST, MCP, Build Loop, and launch-pack execution without losing source lineage.
Use This Via API or MCP
Use this Signal Canvas via API or MCP
Route this paper proof surface into REST, MCP, or developer workflows while preserving the same evidence receipt and related-resource context.
Page Freshness
Signal Canvas proof surface
Canonical route: /signal-canvas/sorrydb-can-ai-provers-complete-real-world-lean-theorems
- Proof freshness
- stale
- Proof status
- unverified
- Display score
- 6/10
- Last proof check
- 2026-04-02
- Score updated
- 2026-04-02
- Score fresh until
- 2026-05-02
- References
- 0
- Source count
- 0
- Coverage
- 17%
This page is showing the last landed evidence receipt and score bundle because the latest proof data is outside the freshness window.
Agent Handoff
SorryDB: Can AI Provers Complete Real-World Lean Theorems?
Canonical ID sorrydb-can-ai-provers-complete-real-world-lean-theorems | Route /signal-canvas/sorrydb-can-ai-provers-complete-real-world-lean-theorems
REST example
curl https://sciencetostartup.com/api/v1/agent-handoff/signal-canvas/sorrydb-can-ai-provers-complete-real-world-lean-theoremsMCP example
{
"tool": "search_signal_canvas",
"arguments": {
"mode": "paper",
"paper_ref": "sorrydb-can-ai-provers-complete-real-world-lean-theorems",
"query_text": "Summarize SorryDB: Can AI Provers Complete Real-World Lean Theorems?"
}
}source_context
{
"surface": "signal_canvas",
"mode": "paper",
"query": "SorryDB: Can AI Provers Complete Real-World Lean Theorems?",
"normalized_query": "2603.02668",
"route": "/signal-canvas/sorrydb-can-ai-provers-complete-real-world-lean-theorems",
"paper_ref": "sorrydb-can-ai-provers-complete-real-world-lean-theorems",
"topic_slug": null,
"benchmark_ref": null,
"dataset_ref": null
}Preparing verified analysis
Dimensions overall score 6.0
GitHub Code Pulse
No public code linked for this paper yet.
CLAIM MAP
No public claim map is available for this paper yet.
