{"id":"W7132925240","doi":"","title":"GL*: a propositional proof system for logspace","year":2005,"lang":"","type":"dissertation","venue":"TSpace","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; University of Toronto","keywords":"Class (philosophy); Proof complexity; Bounded function; Construct (python library); Propositional variable; Direct proof; Proof theory; Structural proof theory","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001055992,0.0009574349,0.001071916,0.0003271537,0.0008759727,0.0009653263,0.0016246,0.0008968807,0.00006719105],"category_scores_gemma":[0.0000994717,0.0008944425,0.0006125319,0.0006784704,0.0001211912,0.0004794549,0.0001580826,0.0005390533,0.000508315],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006422178,"about_ca_system_score_gemma":0.001272443,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002603677,"about_ca_topic_score_gemma":0.0003326343,"domain_scores_codex":[0.9945413,0.0002628622,0.000987742,0.001787427,0.001169421,0.001251204],"domain_scores_gemma":[0.9957491,0.0002008447,0.001278888,0.00117395,0.001199744,0.0003974684],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003649938,0.0006268972,0.00008779053,0.007673316,0.000417237,0.00005867511,0.02991399,0.0004421803,0.0009630386,0.92624,0.005303122,0.02790871],"study_design_scores_gemma":[0.01123283,0.007384293,0.0009155499,0.002828924,0.001647754,0.001409079,0.06935557,0.2587893,0.03774227,0.008215128,0.5907521,0.009727142],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001776488,0.00479263,0.925369,0.001678123,0.009252538,0.00928605,0.00002022484,0.0007406662,0.04708432],"genre_scores_gemma":[0.8858219,0.00002174404,0.01420244,0.00007015109,0.002566064,0.001692693,0.0005229214,0.0001185306,0.09498349],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9180249,"threshold_uncertainty_score":0.9993506,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02531709549670848,"score_gpt":0.3145663154535965,"score_spread":0.289249219956888,"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."}}