55 citations · 102 across the 4 of their papers we have counts for
4 papers
Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets
Sylvain Carré, Franck Gabriel, Clément Hongler +2
Modern mathematics is built on the idea that proofs should be translatable into formal proofs, whose validity is an objective question, decidable by a computer. Yet, in practice, p…
Upper-Bounding Proof Length with the Busy Beaver
Gustavo Lacerda
Consider a short theorem, i.e. one that can be written down using just a few symbols. Can its shortest proof be arbitrarily long? We answer this question in the negative. Inspired…
Discovering Cyclic Causal Models by Independent Components Analysis
Gustavo Lacerda, Peter L. Spirtes, Joseph Ramsey +1
We generalize Shimizu et al's (2006) ICA-based approach for discovering linear non-Gaussian acyclic (LiNGAM) Structural Equation Models (SEMs) from causally sufficient, continuous-…
Causal discovery of linear acyclic models with arbitrary distributions
Patrik O. Hoyer, Aapo Hyvarinen, Richard Scheines +4
An important task in data analysis is the discovery of causal relationships between observed variables. For continuous-valued data, linear acyclic causal models are commonly used t…