arxiv:2604.14683
Qianqian Xie
mistletoe111
AI & ML interests
None yet
Recent Activity
upvoted a paper about 18 hours ago
Full Attention Strikes Back: Transferring Full Attention into Sparse within Hundred Training Steps upvoted a paper 4 days ago
OProver: A Unified Framework for Agentic Formal Theorem Proving