VLP adds an NL documentation layer with trace-linked mismatch detection and derived formal checks to make human validation of LLM code feasible, lifting pass@1 from 28.7-73.2% to 65.4-93.5%.
Fewer hallucinations, more verification: A three-stage llm-based framework for asr error correction,
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
G-SPIN uses a GNN to restrict ASR correction search to phonetic neighbors, then applies MLM local scoring and LLM re-ranking for context-aware fixes at inference time.
citing papers explorer
-
Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming
VLP adds an NL documentation layer with trace-linked mismatch detection and derived formal checks to make human validation of LLM code feasible, lifting pass@1 from 28.7-73.2% to 65.4-93.5%.
-
Graph-Based Phonetic Error Correction of Noisy ASR
G-SPIN uses a GNN to restrict ASR correction search to phonetic neighbors, then applies MLM local scoring and LLM re-ranking for context-aware fixes at inference time.