Maria Garcia de la Banda
5 papers · 2015–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Conference Polyglot (3) π Academic Marathon (10) π Renaissance Researcher (5) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (15)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(15)
Conferences
AAAI (3)
ICCV (1)
IJCAI (1)
Top co-authors
Keywords
combinatorial optimization
(1)
decision making
(1)
visual grounding
(1)
online optimization
(1)
multi-objective optimization
(1)
vision-language model
(1)
model-based optimization
(1)
logic reasoning
(1)
sliding window
(1)
pareto frontier
(1)
maxsat solver
(1)
neuro-symbolic reasoning
(1)
diverse solution
(1)
finite-state automaton
(1)
vision language
(1)
dynamic optimization
(1)
compositional method
(1)
algorithmic framework
(1)
model reformulation
(1)
satisfaction problem
(1)
Papers
NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning
ICCV 2025
Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning
AAAI 2024
Modelling and Solving Online Optimisation Problems
AAAI 2020
Modelling Diversity of Solutions
AAAI 2020
Towards Automatic Dominance Breaking for Constraint Optimization Problems
IJCAI 2015