{"id":"W4417252829","doi":"10.48550/arxiv.2506.06776","title":"Testing the Solvability of Systems of Linear Inequalities","year":2025,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Risk and Portfolio Optimization","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Social Sciences and Humanities Research Council of Canada","keywords":"Pointwise; Inference; Fiducial inference; Constraint (computer-aided design); Set (abstract data type); Function (biology); Value (mathematics); Moment (physics)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.005235939,0.0001836452,0.0006394309,0.000194923,0.0001072443,0.00005484483,0.00114198,0.0002156057,0.0000334318],"category_scores_gemma":[0.01149231,0.000110905,0.0001890917,0.0007124794,0.0002344767,0.00008655788,0.0008113557,0.000323291,0.00001477805],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002307545,"about_ca_system_score_gemma":0.0003747765,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001997283,"about_ca_topic_score_gemma":0.00002609978,"domain_scores_codex":[0.9962913,0.0005594023,0.001644578,0.0004546336,0.0008873395,0.0001626875],"domain_scores_gemma":[0.9916439,0.004061646,0.001396625,0.001532026,0.00132862,0.00003718846],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.00001086219,0.00003165898,0.9204149,0.0001227064,0.00002476808,3.972415e-7,0.001051679,0.07604713,0.00006150414,0.0005017757,0.0003958708,0.001336742],"study_design_scores_gemma":[0.0002463676,0.00008096066,0.9124554,0.0006956328,0.000109526,0.000001882932,0.004011186,0.06712578,0.002004698,0.009122672,0.003802937,0.000342901],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9860184,0.0007799719,0.0050158,0.0001277695,0.001282386,0.0004131445,0.0001386509,0.00003146505,0.006192423],"genre_scores_gemma":[0.9970211,0.0001270944,0.0009719298,0.0000264851,0.0001439684,0.00002288248,0.00001285372,0.0000071144,0.001666529],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01100275,"threshold_uncertainty_score":0.9968343,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3091673051627665,"score_gpt":0.4078369100184333,"score_spread":0.09866960485566678,"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."}}