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