Pinned Repositories
LinSATNet
Official implementation of our ICML 2023 paper "LinSATNet: The Positive Linear Satisfiability Neural Networks".
Academic-writing-example
TE-CCL-reproduction
Reproduction of TE-CCL in paper "Rethinking Machine Learning Collective Communication as a Multi-Commodity Flow Problem". TE-CCL-MILP for mixed integer program (AllGather) and TE-CCL-LP for linear program (AlltoAll).
TE-problem
Yansa2000's Repositories
Yansa2000/TE-CCL-reproduction
Reproduction of TE-CCL in paper "Rethinking Machine Learning Collective Communication as a Multi-Commodity Flow Problem". TE-CCL-MILP for mixed integer program (AllGather) and TE-CCL-LP for linear program (AlltoAll).
Yansa2000/Academic-writing-example
Yansa2000/TE-problem