arxiv:2605.31433
Pasquale Minervini
pminervini
AI & ML interests
NLP, ML, AI
Recent Activity
upvoted a paper about 24 hours ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation authored a paper 15 days ago
VLM-RobustBench: A Comprehensive Benchmark for Robustness of Vision-Language Models authored a paper 15 days ago
SCOPE: Self-Play via Co-Evolving Policies for Open-Ended TasksOrganizations
arxiv:2603.10225
arxiv:2603.06148
arxiv:2602.06948
arxiv:2511.00602
arxiv:2509.21552
arxiv:2508.21787
arxiv:2507.14417
arxiv:2505.13138
arxiv:2505.10610
arxiv:2503.23415
arxiv:2503.02812
arxiv:2502.17540
arxiv:2502.05867
arxiv:2502.05092
arxiv:2411.15626
arxiv:2411.02830
arxiv:2410.18860
arxiv:2410.16090
arxiv:2410.15999
arxiv:2410.15438
arxiv:2410.11900
arxiv:2407.15516
arxiv:2406.14425
arxiv:2406.11430
arxiv:2406.04127
arxiv:2404.05904
arxiv:2403.03230
arxiv:2402.13991
arxiv:2312.10193
arxiv:2311.07556
arxiv:2310.14418
arxiv:2307.06440
arxiv:2307.03042
arxiv:2305.13235
arxiv:2301.12313
arxiv:2210.16773
arxiv:2204.05895
arxiv:2204.04779
arxiv:2102.07033
arxiv:2011.03459
