{"id":"W4403228960","doi":"10.1007/978-3-031-73709-1_25","title":"Preventing Out-of-Gas Exceptions by Typing","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Typing; Programming language; Speech recognition","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.0009912165,0.0003853154,0.0004170398,0.0006535937,0.0002571609,0.0005270042,0.002872444,0.0002634053,0.00002955274],"category_scores_gemma":[0.00008246562,0.0003907786,0.0001722277,0.0006598946,0.000471784,0.0004642228,0.001419729,0.0008357868,0.0001046828],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001946624,"about_ca_system_score_gemma":0.0003344287,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001237387,"about_ca_topic_score_gemma":0.00001245257,"domain_scores_codex":[0.9968038,0.00002803571,0.0006891171,0.001333232,0.0006459534,0.0004998568],"domain_scores_gemma":[0.997727,0.0004579808,0.0003499326,0.001143259,0.0002080744,0.0001137568],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002084326,0.00004958781,0.00003533558,0.0002372544,0.00003275741,0.00001961736,0.004074372,0.008764609,0.001242668,0.1955245,0.0002932255,0.789724],"study_design_scores_gemma":[0.0001182292,0.00007727183,0.00001378026,0.001309015,0.00001461098,0.00002641662,6.209157e-7,0.6164071,0.002570371,0.3668509,0.01198286,0.0006288943],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001046909,0.001448397,0.9866248,0.0007700782,0.004079504,0.0002458273,0.000007345083,0.0002307503,0.006488598],"genre_scores_gemma":[0.3573014,0.0001954081,0.6365456,0.001059845,0.001533485,0.00002031307,0.0000210622,0.00009899367,0.003223885],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7890951,"threshold_uncertainty_score":0.9998544,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02754851199876612,"score_gpt":0.2765610006695691,"score_spread":0.249012488670803,"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."}}