ying1123

View JSON Representation

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

• Name: Ying Sheng
• Kind: user
• Followers: 1351
• Following: 106
• Repositories count: 17
• Created at: 2023-02-20T18:23:55.915Z
• Updated at: 2025-04-22T03:27:44.301Z
• Last synced at: 2025-04-22T03:27:44.300Z

Active Sponsorships

View All

Sponsorship Breakdown by Kind

• User: 1