Hugging Face's logo
Peiyang Song's picture

Peiyang Song

p-song1
6 19 1
shizhuo2's profile picture Diluner'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 7 days ago
FormalCert-AI/DynaCertBench
upvoted a paper 7 days ago
LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification
submitted a paper 7 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