Publications
DBLP | Google Scholar
Computer Vision | Natural Language Processing | Responsible AI | Recommender Systems | Machine Learning | Algorithmic Reasoning | Search & Optimization | Algorithm Configuration
Patents | Theses
Computer Vision
ACM DocEng 2023Read-Write-Learn: Self-Learning for Handwriting Recognition
Natural Language Processing
ArXiv 2025Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinc
[Slides] | [HuggingFace Dataset] | [HuggingFace Leaderboard]Constraints 2024Ner4Opt: named entity recognition for optimization modelling from natural language
[Slides] | [GitHub] | [HuggingFace]CP 2023Holy Grail 2.0: From Natural Language to Constraint ModelsCPAIOR 2023NER4OPT: Named Entity Recognition for Optimization
[Slides]NeurIPS 2022Natural Language for Optimization
[GitHub] | [HuggingFace]AAAI 2021Representing the unification of text featurization using a context-free grammar
[Video]Constraints 2010Grammar constraintsAAAI 2008Efficient context-free grammar constraints
Responsible AI
AAAI 2025BoolXAI: Explainable AI Using Expressive Boolean Formulas
[Slides] | [GitHub]ACM 2024Surrogate Modeling to Address the Absence of Protected Membership Attributes in Fairness Evaluation
[GitHub]ArXiv 2024Fairness Evaluation for Uplift Modeling in the Absence of Ground TruthArXiv 2024Design and Organization of Educational Competitions with Anonymous and Real-Time Leaderboards in Academic and Industrial SettingsMAKE 2023Explainable AI using expressive Boolean formulas
[Amazon Blog Post] | [GitHub]ArXiv 2023Explainable AI using expressive Boolean formulas
[Fidelity Blog Post] | [GitHub]LION 2023Surrogate Membership for Inferred Metrics to Enhance Fairness Evaluation
[GitHub] | [Intel Podcast]ICMLA 2021Surrogate Ground Truth Generation to Enhance Binary Fairness Evaluation
Recommender Systems
AAAI 2024Building higher-order abstractions from components of recommender systems
[GitHub] | [Video]AMAI 2024Integrating optimized item selection with active learning for continuous exploration in recommender systems
[HuggingFace Dataset]](https://huggingface.co/datasets/skadio/optimized_item_selection)Bridge@AAAI'24Mab2Rec: contextual multi-armed bandits for recommender systemsTMLR 2022Non-deterministic behavior of Thompson sampling with linear payoffs and How to Avoid It
Received TMLR’s first reproducibility certificateIJCAI 2021Active learning meets optimized item selection
[GitHub]CPAIOR 2021Optimized item selection to boost exploration for recommender systems
[YouTube] | [GitHub]IJAIT 2021Parallelizable contextual multi-armed banditsJDSA 2021Modeling uncertainty to improve personalized recommendations via Bayesian deep learningICTAI 2019Bayesian deep learning based exploration-exploitation for personalized recommendations
[Re:Work Boston]ICTAI 2019MABWiser: contextual multi-armed bandits
[GitHub]
Machine Learning
ArXiv 2024The design and organization of educational competitions with anonymous and real-time leaderboards in academic and industrial settingsAI Magazine 2023Seq2Pat: Sequence-to-pattern generation to bridge pattern mining with machine learning
[CMU Blog Post] | GitHubAAAI 2023Bridging Constraint-based Sequential Pattern Mining and Machine Learning
[GitHub]Frontiers 2022Dichotomic Pattern Mining Integrated With Constraint Reasoning for Digital Behavior Analysis
[GitHub]AAAI 2022Dichotomic Pattern Mining with Applications to Intent Prediction from Semi-Structured Clickstream DatasetsAAAI 2022Seq2Pat: Sequence-to-Pattern Generation for Constraint-based Sequential Pattern MiningCP 2019Constrained logistic regression to avoid undesirable predictionsLION 2017Learning a reactive restart strategy to improve stochastic searchComputer Speech & Language 2015Feature selection methods and their combinations in high-dimensional classification of speaker likability, intelligibility and personality traits
[Code]Interspeech 2012Feature selection for speaker traits
[GitHub]
Algorithmic Reasoning
MOPTA 2021Integrated Vehicle Routing and Monte Carlo Scheduling Approach for the Home Service Assignment, Routing, and Scheduling Problem
Finalist at the AIMMS-MOPTA Optimization Modeling Competition, [Brown News]European Journal on Comb. Opt. 2019Core group placement: allocation and provisioning of heterogeneous resourcesCoRR 2017Column generation for interaction coverage in combinatorial software testing- Heterogeneous resource allocation in cloud management
CP 2016Availability optimization in cloud-based In-memory data gridsCP 2015Optimizing the cloud service experience using constraint programmingCPAIOR 2010Upper bounds on the number of solutions of binary integer programsCP 2009Same-relation constraints
Search & Optimization
IJCAI 2025Balans: Bandit-based Adaptive Large-Neighborhood Search
Nominated for the Best Paper AwardAAAI 2024Advancing Decision Science: Lessons from the Machine Learning CommunityDagsthul 2022Data-driven combinatorial optimization, Seminar ReportINFORMS 2020Seq2Pat: sequence-to-pattern generation in large-scale sequence databasesDagsthul 2018Planning & operations research, [Report]Europen Journal on OR 2016DASH: dynamic approach for switching heuristicsConstraints 2015Efficient search procedures for solving combinatorial problemsAAAI 2014Parallel restarted searchAAAI 2012Non-model-based search guidance for set partitioning problemsCP 2011Incorporating variance in impact-based searchCP 2009Dialectic searchBanff 2009Search in constraint programming, Seminar ReportCrocs 2009A local search meta-heuristic for non-specialistsCP 2008Dichotomic search protocols for constrained optimization
Nominated for the Best Paper Award
Algorithm Configuration
CP 2019How to win gold at a SAT competition without writing a SAT solverCoRR 2014Transformation-based feature computation for algorithm portfoliosCoRR 2013DASH: dynamic approach for switching heuristicsCP 2011Algorithm selection and scheduling
Winner of the 2011 SAT Solver Competition, 3S, in crafted and random categories collecting 2 gold and 7 medals in totalECAI 2010ISAC: instance-specific algorithm configuration
Patents
2024-18108715Automatic data-driven optimization of a target outcome using machine learning2024-18093591Digital content classification and recommendation using constraint-based predictive machine learning2023-11799734Determining future user actions using time-based featurization of clickstream data2022-0188843Surrogate ground truth generation in artificial intelligence based marketing campaigns2022-0142196Digital content classification and recommendation using reinforcement learning2021-10936961Automated predictive product recommendations using reinforcement learning2019-10248550Selecting a set of test configurations associated with a particular coverage strength using a constraint solver2018-10146665Systems and methods for providing dynamic and real-time simulations of matching resources to requests2018-10007538Assigning applications to virtual machines using constraint programming2017-9588819System and method of assigning requests to resources using constraint programming
Theses
- Efficient search procedures for solving combinatorial problems
PhD thesis, Department of Computer Science, Brown University 2012
Awarded the 2010 Ph.D. Scholarship by IBM - Grammar constraints: combining expressiveness with efficiency
M.Sc. thesis, Department of Computer Science, Brown University 2009