Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
1
Peiyang Song
p-song1
Follow
0 followers
·
1 following
p_song1
Peiyang-Song
AI & ML interests
Machine Learning, Neurosymbolic Reasoning, Neural Theorem Proving.
Organizations
None yet
Papers
1
arxiv:
2306.15626
models
None public yet
datasets
None public yet