{"id":"W7115731439","doi":"10.5281/zenodo.17955956","title":"Parallel and Customizable Equality Saturation","year":2025,"lang":"","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"","field":"","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Saturation (graph theory); Artifact (error)","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.006260414,0.002277614,0.001423074,0.001638202,0.001711199,0.005154033,0.004933917,0.001675866,0.1791942],"category_scores_gemma":[0.02762232,0.001791199,0.001799063,0.002119816,0.002981773,0.009658853,0.01153748,0.004380822,0.06435889],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002182869,"about_ca_system_score_gemma":0.003920571,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003807051,"about_ca_topic_score_gemma":0.005215767,"domain_scores_codex":[0.986871,0.00285883,0.0008421032,0.001883809,0.006138116,0.001406175],"domain_scores_gemma":[0.9808276,0.00408966,0.0003458822,0.01044898,0.003729962,0.0005580174],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001449726,0.0003302356,0.001167668,0.001255838,0.0001359808,0.0003896704,0.0009024502,0.009345929,0.01836771,0.2223606,0.4659137,0.2783805],"study_design_scores_gemma":[0.0003298142,0.0001139467,0.0006912334,0.0002873941,0.00008064442,0.0004151645,0.0002832887,0.04142873,0.06445079,0.2110684,0.6806393,0.0002113139],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.006500333,0.0005640796,0.5493058,0.001338077,0.001993815,0.0006835343,0.008755056,0.2412806,0.1895787],"genre_scores_gemma":[0.220788,0.0006628269,0.3841596,0.002366292,0.0007725203,0.001251283,0.02435782,0.2186664,0.1469751],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.1791942,"threshold_uncertainty_score":0.5994643,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03812927594081226,"score_gpt":0.2698356735350178,"score_spread":0.2317063975942055,"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."}}