{"id":"W1497599822","doi":"10.1007/11560548_22","title":"Identification and Counter Abstraction for Full Virtual Symmetry","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Abstraction; Reduction (mathematics); Symmetry (geometry); Class (philosophy); Abstraction model checking; Point (geometry); Computer science; Identification (biology); Exponential function; State (computer science); Model checking; Theoretical computer science; Theoretical physics; Algebra over a field; Mathematics; Pure mathematics; Algorithm; Artificial intelligence; Physics; Geometry; Mathematical analysis","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.001668204,0.0003593529,0.0003169921,0.0006845711,0.0002583493,0.0006481493,0.001555006,0.0003381541,0.000008854775],"category_scores_gemma":[0.0001793132,0.0003595372,0.00008100502,0.0003040061,0.0004534657,0.001370002,0.0003926795,0.000473767,0.00004061637],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003304629,"about_ca_system_score_gemma":0.0001894209,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004176223,"about_ca_topic_score_gemma":0.00001868608,"domain_scores_codex":[0.9970427,0.00002808618,0.0005850908,0.001286026,0.0006512633,0.0004068803],"domain_scores_gemma":[0.9977293,0.0004020594,0.0004365362,0.001016213,0.0003067744,0.0001091241],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001288202,0.00001844729,0.000005740807,0.00003689248,0.000006753629,0.000002041436,0.0002595065,0.004807241,0.001434565,0.09796856,0.00002747738,0.8954199],"study_design_scores_gemma":[0.0002699284,0.0002400564,0.0003497979,0.0001493557,0.00001249709,0.00008572182,3.257863e-7,0.9020452,0.005624434,0.0855026,0.005156264,0.0005637457],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000205621,0.0002211401,0.9953343,0.000474401,0.002374692,0.0005637922,0.000007160509,0.0001258056,0.0006931236],"genre_scores_gemma":[0.08936971,0.00007339222,0.9084319,0.0006329311,0.0007535144,0.00003472184,0.000009599419,0.00003279116,0.0006614588],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.897238,"threshold_uncertainty_score":0.9998857,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02083136567748863,"score_gpt":0.2859631250300992,"score_spread":0.2651317593526106,"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."}}