paper_type.json (236B)
1 { 2 "paper_type": "empirical", 3 "reason": "The paper implements RusSOL and validates it through experiments on synthesis tasks, reporting quantitative results (115/117 tasks solved, performance metrics, real-world crate evaluation)." 4 }