Shuai Lu's picture

1

Shuai Lu

shuailu

celbree

AI & ML interests

None yet

Recent Activity

authored a paper 2 months ago

Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation

upvoted a paper 2 months ago

Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation

View all activity

Organizations

None yet

Papers 3

arxiv:2410.15748

arxiv:2305.05383

arxiv:2203.09095

models

None public yet

datasets

None public yet