ziying chen
chanztuying
ยท
AI & ML interests
None yet
Recent Activity
liked a dataset about 18 hours ago
DB-Edinburgh/VectorBenchmark upvoted a paper about 18 hours ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation updated a dataset about 22 hours ago
DB-Edinburgh/VectorBenchmarkOrganizations
