AINewsnow

How Stable Are LLM-Generated Proofs Under Program Refactoring? A Stress Test for Verifiable Code Generation

arXiv:2610.36328v1 Announce Type: new Abstract: Benchmarks for verifiable code generation usually test a proof against one fixed implementation. We ask whether the same proof remains valid after a program refactoring that preserves behavior. We introduce RefactorProof, which derives 458 Lean-certif…

Read the full story at arXiv cs.AI ↗

Timeline · 1 report

  1. 2026-10-28 04:00 · arXiv cs.AI
    How Stable Are LLM-Generated Proofs Under Program Refactoring? A Stress Test for Verifiable Code Generation

More stories

  1. Anthropic reveals plans for blockbuster IPO — Sky News Technology
  2. DeepMind unveils Genie 4 world model promising more realistic physics and humans — Ars Technica AI
  3. Making machines that can listen — MIT News AI
  4. Elon Musk says more than 200 neoclouds face 'guppy-level death' — CNBC Technology
  5. I built an Android app where Claude Code, Codex or OpenCode use your phone through MCP (open source) — r/ArtificialInteligence
  6. Muse Is Now Available in Singapore: The World’s First Personal AI Agent Built for Everyone — Meta Newsroom
  7. Introducing GPT-6.1 Terra — OpenAI News
  8. Microsoft to reportedly offer buyouts to 60,000 employees in latest cuts — The Guardian AI

Get the daily brief of stories like this at 6:30 every morning →