Follow

Submissions from 2016

PDF

Theorem Proving in Lean, Jeremy Avigad, Leonardo de Moura, and Soonho Kong

Submissions from 2015

PDF

Mathematics and Language, Jeremy Avigad

PDF

Sleeping Beauty’s Credences, Jessica Cisewski, Joseph B. Kadane, Mark J. Schervish, Teddy Seidenfeld, and Rafael Stern

PDF

Singular Causation, David Danks

PDF

Beyond Machines: Humans in Cyber Operations, Espionage, and Conflict, David Danks and Joseph H. Danks

PDF

Chaos, causation, and describing dynamics, David Danks and Maralee Harrell

PDF

Elaboration in Dependent Type Theory, Leonardo de Moura, Jeremy Avigad, Soonho Kong, and Cody Roux

PDF

The Lean Theorem Prover (system description), Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris Van Doorn, and Jakob von Raumer

PDF

The Processing and Structure of Kanji and their Implications for Kanji Acquisition: a Theoretical Approach to Kanji Literacy, Noah Hermalin

PDF

The Handicap Principle Is an Artifact, Simon M. Huttegger, Justin P. Bruner, and Kevin J.S. Zollman

PDF

An Evolutionary Comparison of the Handicap Principle and Hybrid Equilibrium Theories of Signaling., Patrick Kane and Kevin J.S. Zollman

PDF

Why clinical translation cannot succeed without failure., Alex John London and Jonathan Kimmelman

PDF

Character and object, Rebecca Morris and Jeremy Avigad

PDF

Rate-Agnostic (Causal) Structure Learning, Sergey Pils, David Danks, Cynthia Freeman, and Vince Calhoun

PDF

Mesochronal Structure Learning, Sergey Pils, David Danks, and Jianyu Yang

PDF

Non-­conglomerability for countably additive measures that are not κ-­additive, Teddy Seidenfeld, Mark J. Schervish, and Joseph B. Kadane

PDF

Mathematical Metaphysics, Luke Serafin

PDF

Should Division I Football and Men’s Basketball Student-Athletes be Paid?, Colin Shaffer

PDF

Adaptively rational learning, Sarah Wellen and David Danks

PDF

Against Permitted Exploitation in Developing World Research Agreements., Danielle M. Wenner

PDF

Barriers to Effective Deliberation in Clinical Research Oversight., Danielle M. Wenner

PDF

Patient-Funded Trials: Opportunity or Liability?, Danielle M. Wenner, Jonathan Kimmelman, and Alex John London

Submissions from 2014

PDF

Proof Theory, Jeremy Avigad

PDF

A Heuristic Prover for Real Inequalities, Jeremy Avigad, Robert Y. Lewis, and Cody Roux

PDF

Natural models of homotopy type theory, Steve Awodey

PDF

Topos Semantics for Higher-Order Modal Logic, Steve Awodey, Kohei Kishida, and Hans-Cristoph Kotzsch

PDF

Imprecise Probability: Theories and Applications (ISIPTA'13), Fabio Cozman, Sebastien Destercke, and Teddy Seidenfeld

PDF

A Modern Pascal's Wager for Mass Electronic Surveillance, David Danks

PDF

Learning, David Danks

PDF

L1 Effects on the Articulation of Samaritan Hebrew, Daniel Davis

PDF

Model Change and Methodological Virtues in Scientific Inference, Erich Kummerfeld and David Danks

PDF

Dominating countably many forecasts, Mark J. Schervish, Teddy Seidenfeld, and Joseph B. Kadane

PDF

Infinite Previsions and Finitely Additive Expectations, Mark J. Schervish, Teddy Seidenfeld, and Joseph B. Kadane

PDF

A Uniformly Consistent Estimator of Causal Effects under the kk-Triangle-Faithfulness Assumption, Peter Spirtes and Jiji Zhang

PDF

Learning with a Purpose: The Influence of Goals, Sarah Wellen and David Danks

Submissions from 2013

PDF

Ultraproducts and metastability, Jeremy Avigad and Jose Iovino

PDF

Homotopy limits in type theory, Jeremy Avigad, Krzysztof Kapulkin, and Peter Lefanu Lumsdaine

PDF

The concept of “character” in Dirichlet’s theorem on primes in an arithmetic progression, Jeremy Avigad and Rebecca Morris

PDF

Oscillation and the mean ergodic theorem for uniformly convex Banach spaces, Jeremy Avigad and Jason Rute

PDF

Structuralism, Invariance, and Univalence, Steve Awodey

PDF

Voevodsky’s Univalence Axiom in Homotopy Type Theory, Steve Awodey, Alvaro Pelayo, and Michael A. Warren

PDF

Student Profiling from Tutoring System Log Data: When do Multiple Graphical Representations Matter?, Ryan Carlson, Konstantin Genin, Martina A. Rau, and Richard Scheines

PDF

Moving from Levels & Reduction to Dimensions & Constraints, David Danks

PDF

Learning Causal Structure from Undersampled Time Series, David Danks and Sergey Plis

PDF

Demoralizing causation, David Danks, David Rose, and Edouard Machery

PDF

Constructing Variables That Support Causal Inference, Stephen E. Fancsali

PDF

Knowing-‘wh’, Mention-Some Readings, and Non-Reducibility, Benjamin R. George

PDF

A Machine-Checked Proof of the Odd Order Theorem, Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, Francois Garillot, Stephane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, and Laurent Thery

PDF

Improving First-Year Writing Using Argument Diagramming, Maralee Harrell and Danielle Wetzel

PDF

Tracking Time-varying Graphical Structure, Erich Kummerfeld and David Danks

PDF

Propositional Reasoning that Tracks Probabilistic Reasoning, Hanti Lin

PDF

Causal Discovery and MIMIC Models, Alexander Murray-Watters

PDF

Does Representational Understanding Enhance Fluency – Or Vice Versa? Searching for Mediation Models, Martina A. Rau, Richard Scheines, Vincent Aleven, and Nikol Rummel

PDF

Adjective order in English: A semantic account with cross-linguistic applications, Enrica Rosato

PDF

The Effect of Exchange Rates on Statistical Decisions, Mark J. Schervish, Teddy Seidenfeld, and Joseph B. Kadane

PDF

Local Pragmatics and Structured Contents, Mandy Simons

PDF

Calculation of Entailed Rank Constraints in Partially Non-Linear and Cyclic Models, Peter Spirtes

PDF

Toward a Taxonomy of Projective Content, Judith Tonhauser, David Beaver, Craige Roberts, and Mandy Simons

PDF

Coherence and Confirmation through Causation, Gregory Wheeler and Richard Scheines

PDF

Finding Alternatives to Handicap Theory, Kevin J.S. Zollman

PDF

Between cheap and costly signals: the evolution of partially honest communication., Kevin J.S. Zollman, Carl T. Bergstrom, and Simon M. Huttegger

Submissions from 2012

PDF

Inverting the Furstenberg correspondence, Jeremy Avigad

PDF

Type Inference in Mathematics, Jeremy Avigad

PDF

Uniform distribution and algorithmic randomness, Jeremy Avigad

PDF

Computability and analysis: the legacy of Alan Turing, Jeremy Avigad and Vasco Brattka

PDF

Algorithmic randomness, reverse mathematics, and the dominated convergence theorem, Jeremy Avigad, Edward T. Dean, and Jason Rute

PDF

A metastable dominated convergence theorem, Jeremy Avigad, Edward T. Dean, and Jason Rute

PDF

The donor is in the details, Cynthia E. Cryder, George Loewenstein, and Richard Scheines

PDF

δ-Complete Decision Procedures for Satisfiability over the Reals, Sicun Gao, Jeremy Avigad, and Edmund M. Clarke

PDF

δ-Decidability over the Reals, Sicun Gao, Jeremy Avigad, and Edmund M. Clarke

PDF

An Analysis of the Three Signal Sir Phillip Sidney Game, Patrick Kane

PDF

Improving ethical review of research involving incentives for health promotion., Alex John London, David A. Borasky, and Anant Bhan

PDF

Searching for Variables and Models to Investigate Mediators of Learning from Multiple Representations, Martina A. Rau and Richard Scheines

PDF

Characterization of Proper and Strictly Proper Scoring Rules for Quantiles, Mark J. Schervish, Joseph B. Kadane, and Teddy Seidenfeld

PDF

Forecasting with Imprecise Probabilities, Teddy Seidenfeld, Mark J. Schervish, and Joseph B. Kadane

PDF

Bruno de Finetti and Imprecision, Paolo Vicig and Teddy Seidenfeld

PDF

Learning Causal Structure through Local Prediction-error Learning, Sarah Wellen and David Danks