ziying chen
chanztuying
ยท
AI & ML interests
None yet
Recent Activity
updated a dataset about 1 month ago
DB-Edinburgh/VectorBenchmark liked a dataset about 2 months ago
DB-Edinburgh/VectorBenchmark upvoted a paper about 2 months ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean FormalisationOrganizations
