paper_type.json (275B)
1 { 2 "paper_type": "empirical", 3 "reason": "Builds an LLM-augmented symbolic execution system and reports quantitative experimental results on LeetCode benchmarks, with the primary contribution being the measured performance metrics and cost-effectiveness of the approach." 4 }