{"id":"W2767516636","doi":"","title":"An Attention Based Theory to Explore Affordances of Textual and Diagrammatic Proofs","year":2010,"lang":"en","type":"article","venue":"eScholarship (California Digital Library)","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Diagrammatic reasoning; Affordance; Mathematical proof; Notation; Computer science; Focus (optics); Human–computer interaction; Semantic reasoner; Cognitive science; Programming language; Artificial intelligence; Linguistics; Psychology; Mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.002582266,0.0007669572,0.0004064096,0.003695103,0.001317209,0.003313347,0.001698576,0.001293903,0.01096217],"category_scores_gemma":[0.01234035,0.0007724068,0.002274383,0.001363234,0.006980632,0.01172694,0.004064998,0.001459676,0.0005594034],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002509694,"about_ca_system_score_gemma":0.001060404,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004754405,"about_ca_topic_score_gemma":0.003274654,"domain_scores_codex":[0.9984105,0.0007910035,0.00009609294,0.0003277431,0.0002320796,0.0001426303],"domain_scores_gemma":[0.9928632,0.004840019,0.0004450934,0.0008639073,0.0006286725,0.0003589501],"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.0000920723,0.00005346511,0.001204201,0.0002302601,0.00004714025,0.0002361819,0.004738909,0.007756693,0.003229389,0.9387145,0.001156253,0.04254087],"study_design_scores_gemma":[0.0000510661,0.0001192792,0.001308109,0.0001326612,0.000073278,0.0003956648,0.001341442,0.05809057,0.00216376,0.9183586,0.01792487,0.00004068558],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03082888,0.0006749753,0.9430981,0.001933381,0.00009326921,0.00008213634,0.00008285051,0.0003677328,0.02283862],"genre_scores_gemma":[0.6186598,0.0006944122,0.3735354,0.0003325788,0.00009174187,0.0003003781,0.0001459847,0.000202446,0.006037308],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01096217,"threshold_uncertainty_score":0.03667206,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01866752281625084,"score_gpt":0.2365752612458469,"score_spread":0.217907738429596,"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."}}