Conceptio
›
Archive
›
arXiv CS
arXiv CS
open access
SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs?
Unknown
arXiv CS · Papers · License: Open Access
Open Source ↗
Direct PDF ↓
softwarearchitecture
softwareengineering
testing
software engineering, software architecture, testing
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Related documents
Efficient Benchmarking in Production: A Study of an Evolving LLM Agent
#1006930
Two's a Crowd: Human and AI-Based Copresence for Developers with ADHD
#1006931
License Compliance in Open Source Cybersecurity Projects
#1006932
Embedding Drift in Code Vulnerability Models Under Intended Behaviour-Preserving Transformations
#1006933
Helpful but Fallible: Developer Experiences of AI Tools Under a Coordinated Industrial Roll-out
#1006935
Record
· ID 1006934
Retrieved via
Conceptio
— every document is proof-bundled with source, license, and retrieval metadata.