Kargin, Psomas, Wagner, Tolias, Zieliński, Przewięźlikowski
Holistic Probing of Vision Foundation Models with Adaptive Multi-Layer Dense Fusion
Under review, 2026
Paul
Wagner
Computer science M.Sc. student at RWTH Aachen, on an Erasmus+ exchange at Jagiellonian University in Kraków. I work on automated reasoning (SMT solving) and vision foundation models.
Research & publications
Promies, Nalbach, Ábrahám, Wagner
More is Less: Adding Polynomials for Faster Explanations in NLSAT
Best Paper Award at CADE-30, 2025
arXiv:2512.14269Selected projects
Vision-guided grasping on a TIAGo robot: depth-camera octomaps, GDR-Net pose estimation, and a rebuilt ROS motion-planning pipeline for collision-free grasps of YCB objects.
First reliable grasps in the lab · Python + ROS · UJ Cognitive Robotics Lab
Experience
Research assistant, GMUM — Jagiellonian University
Mar 2026 – presentVision foundation models for wildlife re-identification, +20% top-1 over SOTA; co-author on a paper currently under review.
Software engineer intern, IBM Research & Development
Oct 2024 – Mar 2025Contributed to the end-to-end testing framework for COBOL→Java transformation using generative AI.
Research assistant, RTG UnRAVeL — RWTH Aachen
Jan – Jun 2024Non-linear reasoning in the SMT toolbox SMTRAT; co-authored the CADE-30 best paper.
Software developer, Rabek LLC
Dec 2022 – Dec 2023Java / Spring Boot microservices serving up to 600 concurrent users.
Teaching assistant, RWTH Aachen University
Oct 2021 – Mar 2022Discrete mathematics tutorials and grading.
Education
Jagiellonian University, Kraków — Computer science M.Sc.
2025 – presentErasmus+ exchange programme.
RWTH Aachen University — Computer science M.Sc.
2023 – presentRWTH Aachen University — Computer science B.Sc.
2019 – 2023Skills
Mostly Java, C++, Python and Rust; at home with Docker, Git and Linux. Drawn to competitive programming and quantitative finance.