{"type":"post","id":"reaches-42-8-top-1-and-68-top-09386e","slug":"reaches-42-8-top-1-and-68-top-09386e","title":"Reaches 42.8% Top-1 and 68% Top-3 on SemFault-250 , versus 6.4% for Ochiai SBFL.","description":"SemLoc is a research system for fault localization that turns an LLM’s free-form statements about program behavior into executable runtime constraints.","retrieval_nugget":"SemLoc is a research system for fault localization that turns an LLM’s free-form statements about program behavior into executable runtime constraints. Its contribution is a verification path: rather than treating a model explanation as evidence, it anchors a claim in code, runs tests, and checks a proposed repair against the test suite.","published_at":"2026-10-28","updated_at":"2026-10-28","record_date":"2026-10-28","date_kind":"published_at","topics":["coding-agents","evals"],"entities":["SemLoc","QuixBugs","SemBugs","Daikon","Zhaorui Yang","Rajiv Gupta"],"related_patterns":["verification-bandwidth-is-the-scarce-resource"],"novelty_label":"new_fact","what_changed":"SemLoc reports new fault-localization results: 42.8% Top-1 and 68% Top-3 on SemFault-250, versus 6.4% for Ochiai SBFL.","prior_refs":["memory:c6395bf8-063b-8f83-a847-05571a3b4fe2","memory:2f606ae2-3696-86a6-aed1-e226c16078d3","memory:f42dbedb-5136-8a7c-a9bc-8d35ce28dc58","memory:7c5e4933-6c5e-8d47-a50f-5855cb293499"],"source_url":"https://arxiv.org/abs/2603.29109","source_urls":["https://arxiv.org/abs/2603.29109"],"schema_version":"newruntime-agent-readable-v0.2","stable_id":"post:reaches-42-8-top-1-and-68-top-09386e","status":"published","visuals":[],"editor":{"role":"editor","name":"Andrey Reshetnikov","profile":"https://newruntime.com/owner-profile.md","profile_json":"https://newruntime.com/owner-profile.json","same_as":["https://www.linkedin.com/in/reshetnikov1/","https://t.me/lapetuse"]},"routes":{"html":"https://newruntime.com/posts/reaches-42-8-top-1-and-68-top-09386e/","markdown":"https://newruntime.com/posts/reaches-42-8-top-1-and-68-top-09386e.md","json":"https://newruntime.com/posts/reaches-42-8-top-1-and-68-top-09386e.json"},"next_reads":[{"type":"topic","path":"/topics/coding-agents/","url":"https://newruntime.com/topics/coding-agents/","title":"Coding Agents","reason":"Explore the coding-agents topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/coding-agents.md","json_url":"https://newruntime.com/topics/coding-agents.json"},{"type":"topic","path":"/topics/evals/","url":"https://newruntime.com/topics/evals/","title":"Evals","reason":"Explore the evals topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/evals.md","json_url":"https://newruntime.com/topics/evals.json"},{"type":"collection","path":"/posts/","url":"https://newruntime.com/posts/","title":"Field Notes","reason":"Open the latest editorial analysis.","media_type":"text/html","json_url":"https://newruntime.com/posts.json"},{"type":"collection","path":"/source-ledger.json","url":"https://newruntime.com/source-ledger.json","title":"Source Ledger","reason":"Inspect the public source evidence graph.","media_type":"application/json"}]}