Picture for Albert Jiang

Albert Jiang

INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving

Add code
Jul 06, 2020
Figure 1 for INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
Figure 2 for INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
Figure 3 for INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
Figure 4 for INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
Viaarxiv icon

Using Social Networks to Aid Homeless Shelters: Dynamic Influence Maximization under Uncertainty - An Extended Version

Add code
Jan 30, 2016
Figure 1 for Using Social Networks to Aid Homeless Shelters: Dynamic Influence Maximization under Uncertainty - An Extended Version
Figure 2 for Using Social Networks to Aid Homeless Shelters: Dynamic Influence Maximization under Uncertainty - An Extended Version
Figure 3 for Using Social Networks to Aid Homeless Shelters: Dynamic Influence Maximization under Uncertainty - An Extended Version
Figure 4 for Using Social Networks to Aid Homeless Shelters: Dynamic Influence Maximization under Uncertainty - An Extended Version
Viaarxiv icon