Paper Type Title Real Fake Total Correct Avg Time ------------------------------------------------------------------------------------------------ paper_14 FAKE A Categorical Semantics for Linear… 120 108 228 47% 26.8s paper_27 REAL Answer Refinement Modification: Re… 101 112 213 47% 28.9s paper_28 FAKE Causal Profiling for Lazy Function… 120 109 229 48% 26.7s paper_02 FAKE Termination of Type-Checking via W… 92 99 191 52% 23.4s paper_26 FAKE Graded Modal Dependent Type Theory… 88 104 192 54% 32.8s paper_12 FAKE Bidirectional Type Inference for H… 85 106 191 55% 24.8s paper_09 REAL Bialgebraic Reasoning on Higher-Or… 124 99 223 56% 22.2s paper_24 FAKE Staged Compilation for Verified Cr… 99 124 223 56% 26.1s paper_22 FAKE Coherent Coercion Synthesis for Mo… 93 117 210 56% 21.6s paper_18 FAKE Parametric Polymorphism via Relati… 95 121 216 56% 22.9s paper_06 FAKE Decidable Subtyping for Path-Depen… 95 124 219 57% 23.9s paper_25 REAL Enriched Presheaf Model of Quantum… 128 98 226 57% 25.1s paper_23 REAL Decalf: A Directed, Effectful Cost… 117 88 205 57% 17.7s paper_04 FAKE Gradual Ownership Types for Memory… 100 133 233 57% 21.7s paper_30 FAKE Denotational Semantics for Probabi… 92 125 217 58% 28.2s paper_19 REAL Modelling Recursion and Probabilis… 135 95 230 59% 20.1s paper_20 FAKE Normalization by Evaluation for Po… 103 152 255 60% 24.4s paper_11 REAL Grokking the Sequent Calculus (Fun… 137 91 228 60% 40.7s paper_13 REAL Example-Based Reasoning about the … 128 85 213 60% 105.2s paper_03 REAL Synchronous Programming with Refin… 127 84 211 60% 69.6s paper_21 REAL A Core Calculus for Documents 140 92 232 60% 15.0s paper_05 REAL Scoped Effects as Parameterized Al… 132 83 215 61% 21.0s paper_10 FAKE Semantic Foundations for Effect-Po… 83 138 221 62% 47.1s paper_16 FAKE Mechanized Metatheory for Gradual … 81 135 216 62% 19.0s paper_01 REAL Mechanizing Session-Types using a … 140 82 222 63% 21.2s paper_08 FAKE Refinement-Typed Continuations for… 84 147 231 64% 24.2s paper_29 REAL Hashing Modulo Context-Sensitive $… 135 71 206 66% 16.8s paper_17 REAL Law and Order for Typestate with B… 157 75 232 68% 20.1s paper_15 REAL Story of Your Lazy Function's Life… 165 71 236 70% 19.7s paper_07 REAL Parallel Algebraic Effect Handlers 159 67 226 70% 51.0s ------------------------------------------------------------------------------------------------ 3867 / 6590 correct 59% 29.5s