Open Collective
Open Collective
Loading

Ying Sheng

Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.

This is Ying Sheng's pageYing Sheng
Contributions
Budget

Contributions

Budget

Transparent and open finances.

View All Transactions  →
Refund of "Monthly financial contribution to SGLang (spon...

Credit from SGLang to Ying Sheng •

+$100.00USD
Completed
Contribution #793211
Monthly financial contribution to SGLang (sponsor)

Debit from Ying Sheng to SGLang •

-$100.00USD
Refunded
Contribution #793211
↑ Total contributed

--.-- USD

↓ Total received with expenses

--.-- USD