Alert button
Picture for Siddharth Krishna

Siddharth Krishna

Alert button

DistIR: An Intermediate Representation and Simulator for Efficient Neural Network Distribution

Nov 09, 2021
Keshav Santhanam, Siddharth Krishna, Ryota Tomioka, Tim Harris, Matei Zaharia

Figure 1 for DistIR: An Intermediate Representation and Simulator for Efficient Neural Network Distribution
Figure 2 for DistIR: An Intermediate Representation and Simulator for Efficient Neural Network Distribution
Figure 3 for DistIR: An Intermediate Representation and Simulator for Efficient Neural Network Distribution
Figure 4 for DistIR: An Intermediate Representation and Simulator for Efficient Neural Network Distribution
Viaarxiv icon

Learning Invariants using Decision Trees

Jan 20, 2015
Siddharth Krishna, Christian Puhrsch, Thomas Wies

Figure 1 for Learning Invariants using Decision Trees
Figure 2 for Learning Invariants using Decision Trees
Figure 3 for Learning Invariants using Decision Trees
Viaarxiv icon