arxiv:2410.15748
Shuai Lu
shuailu
ยท
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
14 days ago
Sigma: Differential Rescaling of Query, Key and Value for Efficient
Language Models
authored
a paper
4 months ago
Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation
upvoted
a
paper
4 months ago
Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation
Organizations
None yet
