Discovering cyclic causal models by independent components analysis G Lacerda, PL Spirtes, J Ramsey, PO Hoyer arXiv preprint arXiv:1206.3273, 2008 | 210 | 2008 |
Causal discovery of linear acyclic models with arbitrary distributions PO Hoyer, A Hyvarinen, R Scheines, PL Spirtes, J Ramsey, G Lacerda, ... arXiv preprint arXiv:1206.3260, 2008 | 91 | 2008 |
Predicting Students' Performance with SimStudent: Learning Cognitive Skills from Observation N Matsuda, WW Cohen, J Sewall, G Lacerda, KR Koedinger FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS 158, 467, 2007 | 63 | 2007 |
Evaluating a Simulated Student Using Real Students Data for Training and Testing N Matsuda, W Cohen, J Sewall, G Lacerda, K Koedinger User Modeling 2007, 107-116, 2007 | 43 | 2007 |
Why tutored problem solving may be better than example study: Theoretical implications from a simulated-student study N Matsuda, W Cohen, J Sewall, G Lacerda, K Koedinger Intelligent Tutoring Systems, 111-121, 2008 | 21 | 2008 |
Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets S Carré, F Gabriel, C Hongler, G Lacerda, G Capano arXiv preprint arXiv:2102.03044, 2021 | 4 | 2021 |
Upper-Bounding Proof Length with the Busy Beaver G Lacerda arXiv preprint arXiv:1406.1808, 2014 | | 2014 |
Identification of gene modules using a generative model for relational data G Lacerda The University Of British Columbia, 2010 | | 2010 |
An Information-Theoretic Upper Bound on the Length of the Shortest Proof G Lacerda | | 2010 |
Experiments with Stochastic Gradient Descent: Condensations of the Real line G Lacerda | | |
An Empirical Analysis of Algorithms for Bayesian Sparse Linear Regression C Nell, G Lacerda | | |
On the identifiability of ICA under multiple Gaussian sources G Lacerda | | |