Prover Agent: An Agent-based Framework for Formal Mathematical Proofs
arXiv:2506.19923v1 Announce Type: new Abstract: We present Prover Agent, a novel AI agent for automated theorem proving that integrates large…
AnchorDP3: 3D Affordance Guided Sparse Diffusion Policy for Robotic Manipulation
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…
Off-Policy Evaluation and Learning for the Future under Non-Stationarity
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…
SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models
arXiv:2506.20415v1 Announce Type: cross Abstract: Ensuring the security of complex system-on-chips (SoCs) designs is a critical imperative, yet traditional verification…
Quantifying Fairness in LLMs Beyond Tokens: A Semantic and Statistical Perspective
arXiv:2506.19028v2 Announce Type: replace-cross Abstract: Large Language Models (LLMs) often generate responses with inherent biases, undermining their reliability in real-world…
Model-based reinforcement learning for ultrasound-driven autonomous microrobots
Nature Machine Intelligence, Published online: 26 June 2025; doi:10.1038/s42256-025-01054-2 Medany et al. present AI-driven microrobots that use ultrasound propulsion to…
Universal interatomic potentials shine in finding crystal structures
Nature Machine Intelligence, Published online: 26 June 2025; doi:10.1038/s42256-025-01061-3 Various machine learning models have been developed in recent years for…
Signal Use and Emergent Cooperation
arXiv:2506.18920v1 Announce Type: new Abstract: In this work, we investigate how autonomous agents, organized into tribes, learn to use communication…
MuseControlLite: Multifunctional Music Generation with Lightweight Conditioners
arXiv:2506.18729v2 Announce Type: replace-cross Abstract: We propose MuseControlLite, a lightweight mechanism designed to fine-tune text-to-music generation models for precise conditioning…