{"id":"W2302430074","doi":"10.1007/978-3-319-63390-9_1","title":"Verified Compilation of Space-Efficient Reversible Circuits","year":2017,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":47,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Space (punctuation); Electronic circuit; Computer science; Electrical engineering; Engineering; Operating system","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.0009975069,0.0005298959,0.0007167507,0.0009028679,0.0004920766,0.0004288511,0.004340647,0.0003155084,0.0000124216],"category_scores_gemma":[0.0001222351,0.0004937463,0.0002039286,0.000348537,0.0008640881,0.0002633817,0.001615177,0.0008338503,0.0000263516],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001836442,"about_ca_system_score_gemma":0.0006328042,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002877535,"about_ca_topic_score_gemma":0.00001509672,"domain_scores_codex":[0.9960668,0.00004089102,0.0005842185,0.001472269,0.001186904,0.0006488973],"domain_scores_gemma":[0.9960361,0.0003568356,0.000779941,0.002319316,0.0003316959,0.0001761829],"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.000004043923,0.00004378909,0.00003618527,0.00007934835,0.00001515856,0.00006155096,0.0009581761,0.4077764,0.0004713355,0.02009524,0.00002696161,0.5704318],"study_design_scores_gemma":[0.0003144588,0.0001668138,0.0004996305,0.0007281635,0.000008920622,0.00005389253,1.026746e-7,0.9513932,0.002408365,0.04279848,0.001066218,0.0005617667],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0006383497,0.0003507198,0.9898351,0.00058837,0.002408942,0.0003664929,0.00001359657,0.0001368189,0.005661644],"genre_scores_gemma":[0.6065199,0.00003347042,0.3917977,0.0003217146,0.0006298697,0.000003793038,0.00001069773,0.00005230765,0.0006306256],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6058815,"threshold_uncertainty_score":0.9997514,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01889907287443821,"score_gpt":0.2442874584005458,"score_spread":0.2253883855261076,"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."}}