arxiv:2505.19433
Xiang Liu
Dominic789654
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
13 days ago
GAR: Generative Adversarial Reinforcement Learning for Formal Theorem
Proving
authored
a paper
5 months ago
Can Compressed LLMs Truly Act? An Empirical Evaluation of Agentic
Capabilities in LLM Compression
Organizations
None yet