{"id":"W4404990877","doi":"10.48550/arxiv.2411.18361","title":"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs","year":2024,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Matrix Theory and Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Japan Society for the Promotion of Science; Ministry of Education, Culture, Sports, Science and Technology; Centre de Recherches Mathématiques","keywords":"Mathematical proof; Multiplication (music); Matrix multiplication; Orthogonal polynomials; Matrix (chemical analysis); Algebra over a field; Mathematics; Arithmetic; Computer science; Pure mathematics; Combinatorics; Materials science; Physics; Geometry","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001839775,0.0006183868,0.0004731193,0.0007019757,0.0005677974,0.001408063,0.0008475496,0.0007931537,0.004556555],"category_scores_gemma":[0.01126462,0.0002544665,0.0004932473,0.0006740013,0.001796269,0.001760874,0.001894041,0.001771727,0.001074896],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006094098,"about_ca_system_score_gemma":0.001016592,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005121192,"about_ca_topic_score_gemma":0.0005386393,"domain_scores_codex":[0.9987822,0.0003995257,0.00004907556,0.00009834615,0.0006155234,0.0000553547],"domain_scores_gemma":[0.9953642,0.002983497,0.0003676343,0.0005752245,0.0006176226,0.00009189928],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004898604,0.00004261712,0.0002750313,0.0001338432,0.00001439282,0.0001780178,0.0001465789,0.08710343,0.01121009,0.8348454,0.001740632,0.064261],"study_design_scores_gemma":[0.00001843966,0.00005931616,0.00009013849,0.00003485102,0.000004656571,0.0001732222,0.00003147464,0.7875965,0.008752143,0.1960528,0.007168452,0.00001803895],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004651003,0.0001128426,0.9923555,0.0001514238,0.00004751855,0.00002453473,0.00001997905,0.0001084445,0.002528799],"genre_scores_gemma":[0.2270005,0.0005475374,0.767373,0.0001657887,0.0001747766,0.0001402709,0.00010783,0.0001865037,0.004303738],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004556555,"threshold_uncertainty_score":0.01524323,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05846972183894728,"score_gpt":0.2360582171481871,"score_spread":0.1775884953092398,"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."}}