PPaperPicks

Luca Bortolussi

8 papers at tracked venues · 4 at CORE A* · active 20242026

Venues

Frequent coauthors

Papers

  1. Graph-Conditional Flow Matching for Relational Data Generation
  2. Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
  3. Evolutionary Synthesis of Probabilistic Programs
  4. Intrinsic Dimension Correlation: uncovering nonlinear connections in multimodal representations
  5. Scaling Combinatorial Optimization Neural Improvement Heuristics with Online Search and Adaptation
    AAAI 2025 ·
    Federico Julian Camerota Verdù
  6. Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints
  7. Retrieval-Augmented Mining of Temporal Logic Specifications from Data
  8. stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic