Invisible Verification: the Eiffel experience (abstract)

Monomial and Graded Orders in Rocq (abstract)

Explainable Escape Analysis for Heap-to-Stack Promotion in C Programs (abstract)

Dagular: Gradually-Typed, Implicitly-Parallel Serverless Workflows (abstract)

An Algorithmically-Decoded Game Boy Emulator with Concurrent Lua Instrumentation (abstract)

The Minimal Essence of Higher-Order Functions in Maude (abstract)

GEARXAI NeuroSymbolic@IJCAI2026 Competition Winner Model Presentation

Reasoning Behind Reconstruction: A Bilingual Benchmark for Reasoning over Incomplete Artworks (abstract)

Data-aware candidate selection in NL2SQL translation via small separating instances (abstract)

Intelligent assistant for medical pre-triage (abstract)

A Formal and Simulation-Based Analysis of Hierarchical Multi-Agent Collaboration in CT Report Generation (abstract)

Score-CAM Guided Region-of-Interest Extraction with Attention-Based Classification for Chest X-Ray Pneumonia Detection (abstract)

EndoFormer: Biologically Grounded Neuro-Symbolic Reasoning over CT Foundation-Model Representations for Adrenocortical Carcinoma (abstract)

Verifying Ladder Logic Programs in the Railway Domain – Theory and Practice (abstract)

Minimum-Cost Electoral Manipulation under Media Influence: Hardness, Approximation, and Algorithms (abstract)

A Behavioural Theory of Probabilistic Algorithms Using Probabilistic Abstract State Machines (abstract)

Program and Proof in F* of an LTL Model Checking Algorithm (abstract)

On Counting the Shortest Paths for Hammocks (abstract)

FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection (abstract)

A Fast Matrix-Vector Product for Fibonacci-Mandelbrot Matrices (abstract)

Semi-supervised Learning for Robust Time Series Classification in Remote Health Monitoring (abstract)

Temporal and Climate-Aware Predictive Modeling of Emergency Department Attendance in Romania (abstract)

Study On Hierarchical Classification Of Alzheimer’s Disease Stages From MRI Scans (abstract)

Multimodal RGB–LiDAR Fusion for Robust Object Detection (abstract)

Analysis of PS-InSAR and Precipitation Time Series Using Univariate and Multivariate Bayesian Ensemble Modeling (abstract)

Hybrid Deep Learning Pipelines for Detection of Churches in Satellite Images (abstract)

The role of nonexpansive type mappings in designing fixed point algorithms for Data Science problems (abstract)

A comparision between different heuristic in solving Dynamic Vehicle Routing Problem (abstract)

Native Differential Addition in (Y, Z) Coordinates for Twisted Edwards Curves (abstract)

Characterizing NVFP4 and FP8 Low-Precision LLM Inference on GB10 Grace Blackwell: A Numerical-Error and Throughput Study (abstract)

Physics-Informed Neural Networks and Method-of-Steps Integration for the Mackey-Glass Delay Differential Equation: A Comparative Study (abstract)

Exploring AI-Driven Research with DATA SWEEP

Fixed point results for nonself contractions in strong b-metric spaces (abstract)

Feng-Liu and Kikkawa-Suzuki contractions on sets with a cyclical representation and applications (abstract)

On some strict fixed point results for Ćirić type contractions (abstract)

New iteration process for approximating fixed points of enriched nonexpansive operators (abstract)

Improving Forecast Stability in Financial Time Series through Adaptive Retraining (abstract)

Revisiting Computational Origami in the Era of Large Language Models (abstract)

Formally based tools for Erlang (abstract)

A Jacobian Rank Certificate for Generic Recoverability of Block-Term Tensor Decompositions (abstract)

Progress in Benchmarking Generics for Mathematical Computation (abstract)

High-Level Big Integer Arithmetic in Futhark for GPUs (abstract)

Guaranteed Pathological Inputs Generation to Warrant Floating-Point Error Bounds (abstract)

Robust Multi-View Pedestrian Detection through Coordinated Per-Camera Assessment and Adaptive Intervention (abstract)

A Robustness Assessment Framework for 2D Brain Tumor Segmentation under Missing MRI Modalities (abstract)

A Hybrid Framework for Low-Overhead Observability and Runtime Verification in Concurrent Multi-Agent Systems (abstract)

A Multi-Agent Microservices Framework for Intelligent Hospital Scheduling Supported by Machine Learning on Clinical Data (abstract)

Artificial Consciousness in Complex Computing Networks (abstract)

Formalization of fragments of the theory of hereditarily finite sets (abstract)

Reducing the computation of convex hulls to linear programming (abstract)

The Search for Sharac Quandles (abstract)

A Computer-Aided Study of the Diminished Euler Sombor Index (Work in progress paper) (abstract)

Improvements to the Frobenius Method (abstract)

Efficient Deep Learning and Homology Ensemble for Protein Function Prediction in CAFA 6 (abstract)

Ami: a Chatbot for Emotional Support in Romanian (abstract)

Comparing Evacuation Strategies Through Agent-Based Simulation on Real World Maps (abstract)

Synthesizing Update-Schedules with Game-Based Extension of Bounded Model Checking (abstract)

Subsumption-Free Private-Pivot Learning in Resolvable Network-Based SAT Solving (abstract)

Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking (abstract)

FastSet: Verified Settlement for AI-Native Work (abstract)

Benchmarking Vision-Language Models Across All Romanian Driving License Categories: A Failure Mode Analysis (abstract)

RoJBMO: Evaluating Large Language Models on Junior Balkan Mathematical Olympiad Problems (abstract)

Multilingual Phishing Email Generation and Detection: A Synthetic Data Pipeline with GRPO Fine-Tuning (abstract)

Cross-lingual Relation Extraction with Large Language Models: Zero-Shot, Few-Shot, and Fine-Tuned Evaluation on Romanian (abstract)

Towards Automatising the Formulation of Industrial Optimisation Problems with LLMs: A Case Study (abstract)

OpenRoGrid: A Public Dataset and Machine Learning Benchmark for Romanian Electricity Load Forecasting (abstract)

A Verification-First Computational Pipeline for Extremal Problems on Degree-Based Graph Indices (abstract)

A Computational Test for Total Orderability of Graph Families by Degree-Based Topological Indices (abstract)

Detecting and Mitigating Hallucinations in Large Language Models via Confidence Signals and Internal States (abstract)

Neural Network-Based Prediction of N-Body System Evolution (abstract)

A Comparative Evaluation of Intelligent Methods for Code Smell Detection in Python (abstract)

Corner-Guided Bottom-Up Wireframe Parsing (abstract)

Formalizing the Omega Test in Dafny - Short Paper (abstract)

The formalization of two computational models in Dafny - Short Paper (abstract)

Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform (abstract)

Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification (abstract)

TREAT: Evaluating Access to Formal Knowledge across Equivalent Mathematical Representations (abstract)

Multimodal MRI Fusion Strategies for Brain Tumor Segmentation Using TransResU-Net (abstract)

Beneficial but Not Sufficient: A Multi-Dimensional Ablation of Metadata Richness for Text-to-SQL Correctness (abstract)

Matter Device Class Detection Based on Encrypted Traffic Using Tree-Based Methods (abstract)

Multi-Layered Semantic Validation: A Defense-in-Depth Approach against White-Box Adversarial Attacks on Deepfake Audio (abstract)

Multispectral Voice Extraction Biometric System for Wearable Medical Devices (abstract)

Comparative Analysis on how the Architecture of an Autoencoder Could Affect the Result of a XAI Post-Method (abstract)

A Consolidated Eight-Class Engine-Component Detection Dataset and an In-Domain YOLOv11 Variant Study for Automotive Diagnostics (abstract)

MyMed: Patient-Centered Laboratory Report Analysis with Faithfulness Verification (abstract)

Performance Evaluation of the Naccache-Stern Trapdoor Scheme vs. NIST P-256 and Curve25519 in Classical and NISQ Environments (abstract)

Domain Theory Meets Interaction Trees in Rocq (abstract)

Certification of Bilateral Patience Sort in Theorema and Rocq (abstract)

Matching-Logic-Based Domain Specific Reasoning (abstract)

Logic-Based Generalization: Theory and Applications (abstract)

Formal Modeling and Analysis of Distributed and Real-Time Systems in Maude (abstract)

Art Museum Feedback Sentiment Analysis: A Word2Vec, XGBoost and Quasi-Reflexive Genetic Sinh - Cosh Optimizer Approach (abstract)

Semantic Segmentation of Maize–Weed Fields for Precision Spraying (abstract)

An Interactive Museum Platform for Visitor Engagement with AI-Powered Hybrid Head--Face Swap (abstract)

AI-Assisted Contextualization of Museum Artefacts (abstract)

Registry-Driven Multi-Modal Computer Vision for Industrial Device Identification (abstract)

3D Object Reassembly of Broken Objects using Deep Learning Methods (abstract)

ViTs and CNNs Under NPR Anonymization (abstract)

Hybrid CNN-VMamba Architecture for Real-Time Semantic Segmentation of Autonomous Driving Scenes (abstract)

AI Detection and Camera-LiDAR Early Fusion for Distance Estimation under Progressive Sensor Degradation (abstract)

Reliability-Calibrated Labels for Predicting Problematic Internet Use in Adolescents (abstract)

Beyond Polarity: Sentiment-Quality Features for Cross-Sectional Volatility Prediction with Deep Learning (abstract)

Content-Based Image Retrieval of Roman Settlements Across Multiple Image Representations Using Canny-HOG Features and Orientation Data (abstract)

A Hybrid Deep-Shallow Air Quality Anomaly Detection Method (abstract)

Transformer-Based Anomaly Detection in Decentralized Exchange Transactions (abstract)

Robust and Effective Recognisability of Small Tree-Width Graphs (abstract)

Verifying Graceful Degradation in a Distributed Malware-Detection System with SPIN (abstract)

Semi-automated Verification of Symbolic Invariants In Extended Symmetric Nets (abstract)

How AI Learns to See, Generate, and Judge Fairly (abstract)

Foundations of a theory of bandwidth for timed automata (abstract)

Solving bilevel multi-objective optimization problems with Lorenz dominance (abstract)

Escaping Forests using Evolutionary Computation (abstract)

Machine-Learning Assisted Gradient-Descent Bit-Flipping Decoding (abstract)

Automatic Guitar Tone Matching: A Closed-Loop Framework Integrating Symbolic Generative AI and Genetic Optimization (abstract)

Distinguishing AI-Generated Music from Edited Audio as a Hard-Negative Robustness Task (abstract)

Hierarchical and Explainable Forensics of Manipulated Facial Images (abstract)

Benchmarking Self-Supervised Speech Representations for Cross-Corpus Emotion Recognition: Wav2Vec2 vs. HuBERT vs. WavLM vs. Whisper vs. Classical Baselines (abstract)

Meta-GA-Evolved Hyperparameters by Objective, Starting Condition, and Evaluation Budget (abstract)

VR-Based Training of Daily Living Skills in Autism with Quantitative Progress Monitoring (abstract)

AIR-TV: Generating Scientific News Broadcasts Using Generative AI Models (abstract)

Dependently Typed Model Composition for Matching Logic (abstract)

Complete Heyting algebra semantics for an intuitionistic version of Matching Logic (abstract)

X-BrainVAE: Transformer-based Variational Autoencoders for Debiasing EEG Data (abstract)

End-to-End AI-Assisted Discovery and Validation of Improper Privilege Management in WordPress Plugins: The Case of CVE-2026-6741 (abstract)

Symbolic Distillation of Random Forests for Real-Time Behavioural Classification of Player Frustration and Engagement (abstract)

A Semantic Investigation of Spiking Neural P Systems with Mute Rules (abstract)

Detecting AI-Generated Code Under Cosmetic Transformations: A Graph-Neural Approach (abstract)

Wi-Fi, Noise, and Chewing: What Actually Breaks a Consumer BCI (abstract)

A Łukasiewicz-Moisil Abstraction of Gene Regulatory Networks (abstract)

Revisiting UltraScanNet: Multi-Scale Fusion, Refinement, and the Limits of One-Shot Language Cues for Breast Ultrasound Classification (abstract)

Multimodal Hierarchical Retrieval for Medical Image Search (abstract)