Luca Bortolussi

9 papers at tracked venues · 5 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3 ECML-PKDD ×2 ECAI ×1 GECCO ×1 ICLR ×1 POPL ×1

Frequent coauthors

Gaia Saveri

×3

Davide Scassola

×2

Sebastiano Saccani

×2

Francesca Randone

×2

Sara Candussio

×1

Gabriele Sarti

×1

Romina Doz

×1

Eric Medvet

×1

Lorenzo Basile

×1

Santiago Acevedo

×1

Fabio Anselmi

×1

Alex Rodriguez

×1

Papers

Graph-Conditional Flow Matching for Relational Data Generation
AAAI 2026 ·
Davide Scassola
,
Sebastiano Saccani
, Luca Bortolussi
Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
ECML-PKDD 2025 ·
Sara Candussio
,
Gaia Saveri
,
Gabriele Sarti
, Luca Bortolussi
Evolutionary Synthesis of Probabilistic Programs
GECCO 2025 ·
Romina Doz
,
Francesca Randone
,
Eric Medvet
, Luca Bortolussi
Intrinsic Dimension Correlation: uncovering nonlinear connections in multimodal representations
ICLR 2025 ·
Lorenzo Basile
,
Santiago Acevedo
, Luca Bortolussi,
Fabio Anselmi
,
Alex Rodriguez
Scaling Combinatorial Optimization Neural Improvement Heuristics with Online Search and Adaptation
AAAI 2025 ·
Federico Julian Camerota Verdù
,
Lorenzo Castelli
, Luca Bortolussi
Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints
AAAI 2025 ·
Davide Scassola
,
Sebastiano Saccani
,
Ginevra Carbone
, Luca Bortolussi
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures
POPL 2024 ·
Francesca Randone
, Luca Bortolussi,
Emilio Incerto
,
Mirco Tribastone
Retrieval-Augmented Mining of Temporal Logic Specifications from Data
ECML-PKDD 2024 ·
Gaia Saveri
, Luca Bortolussi
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
ECAI 2024 ·
Gaia Saveri
,
Laura Nenzi
, Luca Bortolussi,
Jan Kretínský