Skip to main content

Showing 1–8 of 8 results for author: Wiśniewski, M

Searching in archive cs. Search in all archives.
.
  1. arXiv:2507.06261  [pdf, ps, other

    cs.CL cs.AI

    Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities

    Authors: Gheorghe Comanici, Eric Bieber, Mike Schaekermann, Ice Pasupat, Noveen Sachdeva, Inderjit Dhillon, Marcel Blistein, Ori Ram, Dan Zhang, Evan Rosen, Luke Marris, Sam Petulla, Colin Gaffney, Asaf Aharoni, Nathan Lintz, Tiago Cardal Pais, Henrik Jacobsson, Idan Szpektor, Nan-Jiang Jiang, Krishna Haridasan, Ahmed Omran, Nikunj Saunshi, Dara Bahri, Gaurav Mishra, Eric Chu , et al. (3264 additional authors not shown)

    Abstract: In this report, we introduce the Gemini 2.X model family: Gemini 2.5 Pro and Gemini 2.5 Flash, as well as our earlier Gemini 2.0 Flash and Flash-Lite models. Gemini 2.5 Pro is our most capable model yet, achieving SoTA performance on frontier coding and reasoning benchmarks. In addition to its incredible coding and reasoning skills, Gemini 2.5 Pro is a thinking model that excels at multimodal unde… ▽ More

    Submitted 11 July, 2025; v1 submitted 7 July, 2025; originally announced July 2025.

    Comments: 72 pages, 17 figures

  2. arXiv:2506.13223  [pdf, ps, other

    cs.AI

    Towards Explaining Monte-Carlo Tree Search by Using Its Enhancements

    Authors: Jakub Kowalski, Mark H. M. Winands, Maksymilian Wiśniewski, Stanisław Reda, Anna Wilbik

    Abstract: Typically, research on Explainable Artificial Intelligence (XAI) focuses on black-box models within the context of a general policy in a known, specific domain. This paper advocates for the need for knowledge-agnostic explainability applied to the subfield of XAI called Explainable Search, which focuses on explaining the choices made by intelligent search techniques. It proposes Monte-Carlo Tree S… ▽ More

    Submitted 16 June, 2025; originally announced June 2025.

  3. arXiv:2504.06836  [pdf, other

    cs.CV

    Determining Fetal Orientations From Blind Sweep Ultrasound Video

    Authors: Jakub Maciej Wiśniewski, Anders Nymark Christensen, Mary Le Ngo, Martin Grønnebæk Tolsgaard, Chun Kit Wong

    Abstract: Cognitive demands of fetal ultrasound examinations pose unique challenges among clinicians. With the goal of providing an assistive tool, we developed an automated pipeline for predicting fetal orientation from ultrasound videos acquired following a simple blind sweep protocol. Leveraging on a pre-trained head detection and segmentation model, this is achieved by first determining the fetal presen… ▽ More

    Submitted 9 April, 2025; originally announced April 2025.

    Comments: 10 pages

  4. arXiv:2411.09077  [pdf, other

    cs.CV cs.AI cs.LG

    Drone Detection using Deep Neural Networks Trained on Pure Synthetic Data

    Authors: Mariusz Wisniewski, Zeeshan A. Rana, Ivan Petrunin, Alan Holt, Stephen Harman

    Abstract: Drone detection has benefited from improvements in deep neural networks, but like many other applications, suffers from the availability of accurate data for training. Synthetic data provides a potential for low-cost data generation and has been shown to improve data availability and quality. However, models trained on synthetic datasets need to prove their ability to perform on real-world data, k… ▽ More

    Submitted 13 November, 2024; originally announced November 2024.

    Comments: 12 pages, 8 figures

  5. arXiv:2411.00004  [pdf, other

    q-bio.BM cs.LG

    RapidDock: Unlocking Proteome-scale Molecular Docking

    Authors: Rafał Powalski, Bazyli Klockiewicz, Maciej Jaśkowski, Bartosz Topolski, Paweł Dąbrowski-Tumański, Maciej Wiśniewski, Łukasz Kuciński, Piotr Miłoś, Dariusz Plewczynski

    Abstract: Accelerating molecular docking -- the process of predicting how molecules bind to protein targets -- could boost small-molecule drug discovery and revolutionize medicine. Unfortunately, current molecular docking tools are too slow to screen potential drugs against all relevant proteins, which often results in missed drug candidates or unexpected side effects occurring in clinical trials. To addres… ▽ More

    Submitted 16 October, 2024; originally announced November 2024.

  6. arXiv:2410.14616  [pdf, other

    cs.RO cs.AI cs.LG

    Benchmarking Deep Reinforcement Learning for Navigation in Denied Sensor Environments

    Authors: Mariusz Wisniewski, Paraskevas Chatzithanos, Weisi Guo, Antonios Tsourdos

    Abstract: Deep Reinforcement learning (DRL) is used to enable autonomous navigation in unknown environments. Most research assume perfect sensor data, but real-world environments may contain natural and artificial sensor noise and denial. Here, we present a benchmark of both well-used and emerging DRL algorithms in a navigation task with configurable sensor denial effects. In particular, we are interested i… ▽ More

    Submitted 18 October, 2024; originally announced October 2024.

    Comments: 31 pages, 19 figures. For associated code, see https://github.com/mazqtpopx/cranfield-navigation-gym

    ACM Class: I.2.9

  7. arXiv:2405.14584  [pdf, other

    cs.CV

    SE3D: A Framework For Saliency Method Evaluation In 3D Imaging

    Authors: Mariusz Wiśniewski, Loris Giulivi, Giacomo Boracchi

    Abstract: For more than a decade, deep learning models have been dominating in various 2D imaging tasks. Their application is now extending to 3D imaging, with 3D Convolutional Neural Networks (3D CNNs) being able to process LIDAR, MRI, and CT scans, with significant implications for fields such as autonomous driving and medical imaging. In these critical settings, explaining the model's decisions is fundam… ▽ More

    Submitted 4 August, 2024; v1 submitted 23 May, 2024; originally announced May 2024.

  8. arXiv:1505.01629  [pdf, ps, other

    cs.LO cs.AI cs.MA cs.MS

    LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners

    Authors: Max Wisniewski, Alexander Steen, Christoph Benzmüller

    Abstract: LeoPARD supports the implementation of knowledge representation and reasoning tools for higher-order logic(s). It combines a sophisticated data structure layer (polymorphically typed λ-calculus with nameless spine notation, explicit substitutions, and perfect term sharing) with an ambitious multi-agent blackboard architecture (supporting prover parallelism at the term, clause, and search level). F… ▽ More

    Submitted 7 May, 2015; originally announced May 2015.

    Comments: 6 pages, to appear in the proceedings of CICM'2015 conference

    MSC Class: 03B35; 68T15 ACM Class: I.2.3; F.4.1