paper_type.json (290B)
1 { 2 "paper_type": "theoretical", 3 "reason": "The paper's primary contribution is a formal method (FDJ) with statistical precision and recall guarantees backed by logical decompositions (CNF), with experimental validation serving as supporting evidence rather than the main contribution." 4 }