FlyCatcher infers 300 correct stateful runtime checkers from 400 tests across four systems, yielding 2.6x more correct checkers and 5.2x more error detections than prior work.
Ernst, Jake Cockrell, William G
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
LORIS detects local reasoning errors in LLM-generated proofs for loop invariants by translating natural-language steps to first-order logic implications and using invalid implications to refine the invariants, achieving 93.1% success on 460 C programs.
citing papers explorer
-
FlyCatcher: Neural Inference of Runtime Checkers from Tests
FlyCatcher infers 300 correct stateful runtime checkers from 400 tests across four systems, yielding 2.6x more correct checkers and 5.2x more error detections than prior work.
-
Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
LORIS detects local reasoning errors in LLM-generated proofs for loop invariants by translating natural-language steps to first-order logic implications and using invalid implications to refine the invariants, achieving 93.1% success on 460 C programs.