{"id":"W4403486628","doi":"10.3233/faia240968","title":"CoTran: An LLM-Based Code Translator Using Reinforcement Learning with Feedback from Compiler and Symbolic Execution","year":2024,"lang":"en","type":"book-chapter","venue":"Frontiers in artificial intelligence and applications","topic":"Natural Language Processing Techniques","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Compiler; Computer science; Programming language; Reinforcement learning; Code (set theory); Parallel computing; Artificial intelligence","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.0001359348,0.0002777301,0.0002972024,0.000265987,0.0001956932,0.0003067845,0.0003596867,0.0002171842,0.000008620093],"category_scores_gemma":[0.000002538703,0.0002611096,0.00003654523,0.0001606802,0.0002471281,0.0002570887,0.00005842109,0.0005243702,0.000005868877],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007683435,"about_ca_system_score_gemma":0.00008227732,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009202076,"about_ca_topic_score_gemma":0.00007486057,"domain_scores_codex":[0.998525,0.00001605411,0.0003789875,0.0006671498,0.0002116123,0.0002011446],"domain_scores_gemma":[0.9993373,0.00003462549,0.0001353816,0.000334058,0.00006760866,0.00009106399],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004988273,0.00004947857,0.00005117083,0.0001233316,0.00004780632,0.00001336122,0.001212898,0.003855916,0.0007542979,0.7010857,0.00006597164,0.2926902],"study_design_scores_gemma":[0.00004395033,0.0001326987,0.000002451527,0.0005749329,0.00007507408,0.000005797757,0.0001563812,0.5346321,0.00574718,0.44752,0.01059011,0.0005193329],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001676589,0.005169161,0.9921044,0.0001622128,0.00008339612,0.0005664813,0.0000224762,0.0002399752,0.001484235],"genre_scores_gemma":[0.2503629,0.0006205222,0.7453655,0.000321954,0.0002860831,0.0002070325,0.0002043872,0.00009553445,0.002536051],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5307762,"threshold_uncertainty_score":0.9999841,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03485386602230685,"score_gpt":0.2821092998826937,"score_spread":0.2472554338603869,"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."}}