Follow
Gustavo Lacerda
Title
Cited by
Cited by
Year
Discovering cyclic causal models by independent components analysis
G Lacerda, PL Spirtes, J Ramsey, PO Hoyer
arXiv preprint arXiv:1206.3273, 2008
2032008
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
892008
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
632007
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
422007
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
212008
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
32021
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
The system can't perform the operation now. Try again later.
Articles 1–12