Papadakis Mike
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Software Eng.×1AI×1
Frequent co-authors
Research Timeline
2026
Inferring Code Correctness from Specification
The paper introduces TRAILS~, a novel method that improves code correctness validation by grounding LLM reasoning in concrete (input, output) pairs derived from specifications, achieving state-of-the-art performance.
Highlighted terms show continued research focus across papers