{"id":"W6929198917","doi":"10.4230/lipics.cp.2025.23","title":"RPID: Rust Programmable Interface for Domain-Independent Dynamic Programming","year":2025,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; Alliance de recherche numérique du Canada; University of Toronto; Innovation, Science and Economic Development Canada","keywords":"Solver; Flexibility (engineering); Rust (programming language); Interface (matter); Software; Set (abstract data type); Dynamic programming; Class (philosophy)","routes":{"ca_aff":true,"ca_fund":true,"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","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.002023639,0.0005416048,0.0005801464,0.000501389,0.0006435471,0.001183315,0.002541116,0.000345695,0.000006948847],"category_scores_gemma":[0.000258267,0.0005140711,0.0003784637,0.0008114958,0.0001689956,0.002444568,0.0008188782,0.0005014469,0.00006135083],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004977902,"about_ca_system_score_gemma":0.0002163225,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001267875,"about_ca_topic_score_gemma":0.00002318856,"domain_scores_codex":[0.9959418,0.00007693918,0.001562964,0.0005769007,0.0005517898,0.001289651],"domain_scores_gemma":[0.9969054,0.0002046777,0.0006574906,0.001493551,0.0005280859,0.0002108227],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003726181,0.0008976244,0.001094416,0.003074045,0.0004593566,0.000003101731,0.009413883,0.0004771595,0.0003058534,0.3199663,0.00287484,0.6610608],"study_design_scores_gemma":[0.004294051,0.000638971,0.0003322068,0.0004238944,0.00007162539,0.00004447675,0.001997767,0.3408065,0.00442674,0.008690617,0.6373578,0.0009153425],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01174267,0.000106167,0.9779131,0.0005816869,0.002265176,0.004616112,0.00011573,0.0006142135,0.002045189],"genre_scores_gemma":[0.09267607,0.00001678574,0.9038094,0.0004834999,0.00005967193,0.00167921,0.0001864084,0.00004731569,0.00104167],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6601455,"threshold_uncertainty_score":0.9998536,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01289915978505507,"score_gpt":0.3189754451865049,"score_spread":0.3060762854014499,"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."}}