Jason Morton

22 papers A* 1Journal 18Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Verifiable evaluations of machine learning models using zkSNARKs.
CoRR
Tobin South, Alexander Camuto, Shrey Jain, Shayla Nguyen, Robert Mahari, Christian Paquin, Jason Morton, Alex 'Sandy' Pentland
2023 J jnl
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs.
Proc. ACM Program. Lang.
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
2023 J jnl
Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs.
IACR Cryptol. ePrint Arch.
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Gaffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
2017 J jnl
Contextuality from missing and versioned data.
CoRR
Jason Morton
2017 J jnl
Dimension of Marginals of Kronecker Product Models.
SIAM J. Appl. Algebra Geom.
Guido Montúfar, Jason Morton
2016 J jnl
Polynomial-time solvable #CSP problems via algebraic models and Pfaffian circuits.
J. Symb. Comput.
Susan Margulies, Jason Morton
2015 J jnl
Computing the Tutte polynomial of lattice path matroids using determinantal circuits.
Theor. Comput. Sci.
Jason Morton, Jacob W. Turner
2015 J jnl
Dimension of Marginals of Kronecker Product Models.
CoRR
Guido Montúfar, Jason Morton
2015 J jnl
Discrete restricted Boltzmann machines.
J. Mach. Learn. Res.
Guido Montúfar, Jason Morton
2015 J jnl
When Does a Mixture of Products Contain a Product of Mixtures?
SIAM J. Discret. Math.
Guido F. Montúfar, Jason Morton
2014 — conf
Belief propagation in monoidal categories.
QPL
Jason Morton
2014 J jnl
Tensor Network Contractions for #SAT.
CoRR
Jacob D. Biamonte, Jason Morton, Jacob W. Turner
2013 J jnl
Computing the Tutte Polynomial of Lattice Path Matroids Using Determinantal Circuits.
CoRR
Jason Morton, Jacob W. Turner
2013 A* conf
Discrete Restricted Boltzmann Machines
ICLR
Guido Montúfar, Jason Morton
2013 J jnl
Polynomial-time Solvable #CSP Problems via Algebraic Models and Pfaffian Circuits.
CoRR
Susan Margulies, Jason Morton
2013 J jnl
Relations among conditional probabilities.
J. Symb. Comput.
Jason Morton
2013 — conf
When Does a Mixture of Products Contain a Product of Mixtures?
ICLR (Workshop Poster)
Guido F. Montúfar, Jason Morton
2011 J jnl
Pfaffian Circuits
CoRR
Jason Morton
2009 J jnl
Convex Rank Tests and Semigraphoids.
SIAM J. Discret. Math.
Jason Morton, Lior Pachter, Anne Shiu, Bernd Sturmfels, Oliver Wienand
2009 J jnl
Holographic algorithms without matchgates
CoRR
J. M. Landsberg, Jason Morton, Serguei Norine
2008 J jnl
Three Counter-Examples on Semi-Graphoids.
Comb. Probab. Comput.
Raymond Hemmecke, Jason Morton, Anne Shiu, Bernd Sturmfels, Oliver Wienand
2006 — conf
Geometry of rank tests.
Probabilistic Graphical Models
Jason Morton, Lior Pachter, Anne Shiu, Bernd Sturmfels, Oliver Wienand