arXiv:2506.20081v2 Announce Type: replace-cross Abstract: Retrieval-Augmented Code Generation (RACG) is a critical technique for enhancing code generation by retrieving relevant…
arXiv:2506.20702v1 Announce Type: new Abstract: Rapidly improving AI capabilities and autonomy hold significant promise of transformation, but are also driving…
arXiv:2506.19028v2 Announce Type: replace-cross Abstract: Large Language Models (LLMs) often generate responses with inherent biases, undermining their reliability in real-world…
arXiv:2506.20415v1 Announce Type: cross Abstract: Ensuring the security of complex system-on-chips (SoCs) designs is a critical imperative, yet traditional verification…
arXiv:2506.20417v1 Announce Type: cross Abstract: We study the novel problem of future off-policy evaluation (F-OPE) and learning (F-OPL) for estimating…
arXiv:2506.19269v2 Announce Type: replace-cross Abstract: We present AnchorDP3, a diffusion policy framework for dual-arm robotic manipulation that achieves state-of-the-art performance…
arXiv:2506.19923v1 Announce Type: new Abstract: We present Prover Agent, a novel AI agent for automated theorem proving that integrates large…
