{"id":"W4394585993","doi":"10.1109/tc.2024.3386068","title":"LogSay: An Efficient Comprehension System for Log Numerical Reasoning","year":2024,"lang":"en","type":"article","venue":"IEEE Transactions on Computers","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"National Natural Science Foundation of China","keywords":"Comprehension; Computer science; Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003672434,0.002654732,0.001559859,0.003252014,0.0009318201,0.003411111,0.00467422,0.001900601,0.03555207],"category_scores_gemma":[0.01785742,0.001507098,0.001827742,0.001604522,0.0008960454,0.01216888,0.003600071,0.002499651,0.01363208],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001597293,"about_ca_system_score_gemma":0.003048142,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005235354,"about_ca_topic_score_gemma":0.006863213,"domain_scores_codex":[0.9968471,0.000792964,0.0005039809,0.0007811566,0.0009674873,0.000107195],"domain_scores_gemma":[0.9923126,0.004479674,0.0004606386,0.001130709,0.00140294,0.0002134224],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00165219,0.0005067646,0.004965149,0.002410686,0.000230531,0.0005308381,0.001833709,0.01928306,0.01557377,0.04257223,0.3097587,0.6006824],"study_design_scores_gemma":[0.0004367592,0.0002945632,0.001756113,0.0003314977,0.0001634823,0.0005657491,0.0005545635,0.5497367,0.04283841,0.09461576,0.3084174,0.0002889437],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002828254,0.0002812174,0.61512,0.0004320385,0.00007982805,0.0004590142,0.008867823,0.3686408,0.003290983],"genre_scores_gemma":[0.08296871,0.0007209979,0.8408062,0.001046151,0.0001938855,0.001396477,0.04509963,0.01696052,0.01080743],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03555207,"threshold_uncertainty_score":0.1189336,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01640801608658802,"score_gpt":0.2538376564882267,"score_spread":0.2374296404016387,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}