{"id":"W4407806798","doi":"","title":"Projective Unification in Bi-Intuitionistic Logic","year":2025,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Mila - Quebec Artificial Intelligence Institute","funders":"","keywords":"Unification; Projective test; Pure mathematics; Mathematics; Intuitionistic logic; Algebra over a field; Discrete mathematics; Computer science; Programming language; Propositional calculus","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.004592473,0.0003766538,0.0004281068,0.0005122321,0.0003426369,0.0007149307,0.002847517,0.0003790946,0.00004556029],"category_scores_gemma":[0.002203054,0.0003919145,0.000185868,0.001140023,0.0002078151,0.0002466533,0.002441263,0.0008462509,0.00007796431],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003964693,"about_ca_system_score_gemma":0.0009224655,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001297119,"about_ca_topic_score_gemma":0.002226616,"domain_scores_codex":[0.9925334,0.004809235,0.000602396,0.001248717,0.0003762094,0.0004300655],"domain_scores_gemma":[0.9931388,0.001404091,0.0004924891,0.002702718,0.002133757,0.0001281008],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000004411231,0.0005317391,0.0009974927,0.0001505995,0.00003007727,0.000006582091,0.008150294,0.00009456449,0.0001635268,0.9551661,0.0004510405,0.03425359],"study_design_scores_gemma":[0.001921803,0.00000293607,0.04586643,0.006457621,0.00009914001,0.00002947961,0.0003546268,0.3720904,0.0219965,0.5311072,0.01793523,0.002138623],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00294714,0.0007459196,0.7358696,0.005777213,0.0004312513,0.0007113622,0.00002731765,0.0003994595,0.2530908],"genre_scores_gemma":[0.8952075,0.0005273103,0.08740319,0.000164102,0.00003104167,0.0003132659,0.0002986835,0.00002164687,0.0160332],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8922604,"threshold_uncertainty_score":0.9998533,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01946749088075536,"score_gpt":0.2497930548636061,"score_spread":0.2303255639828507,"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."}}