Hugging Face's logo
Zixuan Chen's picture

Zixuan Chen

zxclara010
8
·

AI & ML interests

llm reasoning, AI4Math, agentic memory, RecomSystem

Recent Activity

published a dataset 4 days ago
DAPS-Math/DAPS-Mathlib-Graph
published a dataset 4 days ago
DAPS-Math/DAPS-Blueprint
published a dataset 4 days ago
DAPS-Math/DAPS-Collection
View all activity

Organizations

Large Scale AI Engg Cousre Project's profile picture course project for LSAIE's profile picture rel-prover's profile picture Dependency-Aware Premise Selection's profile picture