Synthesizing Proofs Using Proof Sharding and Exploration
arXiv 2609.28535v1•94d6dc03c07d53ec36e5faab5eb68032d2e30b27413c5a4ddbc68595e3a325f9
Paper metadata
- arXiv ID
- 2609.28535
- Version
- v1
- Category
- cs.PL, cs.SE
- Authors
- Seyed Armin Vakil Ghahani, Manos Kapritsos
- Publication date
- 2026-09-25T04:00:00Z
- Source identifier
- 2609.28535v1
- Public record ID
- record:sha256:94d6dc03c07d53ec36e5faab5eb68032d2e30b27413c5a4ddbc68595e3a325f9
The PDF link points to arxiv.org. Baitaphish does not expose a private stored PDF.
This is source-provided metadata, not an enriched summary or an impact assessment. Follow the canonical source link for the published material.
Evidence and limitations
- Source ID
- arxiv_research
- Record identifier
- 94d6dc03c07d53ec36e5faab5eb68032d2e30b27413c5a4ddbc68595e3a325f9
- Record type
- Source metadata
This record may overlap with other records. Source metadata can be incomplete or change. Validate consequential decisions against the linked source and your own environment.