Hugging Face's logo
Peiyang Song's picture

Peiyang Song

p-song1
6 19 1
ejwang440's profile picture wenkai-li's profile picture keyangx3's profile picture
·
https://peiyang-song.github.io/

AI & ML interests

Formal Reasoning, Natural Language Reasoning, Neuro-Symbolic AI, AI4MATH, Agents

Recent Activity

liked a dataset 3 days ago
FormalCert-AI/DynaCertBench
upvoted a paper 3 days ago
LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification
submitted a paper 3 days ago
LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification
View all activity

Organizations

Anima AI+Science Lab's profile picture Carnegie Mellon University's profile picture FormalCert-AI's profile picture