Strides

A General Theoretical Framework for Learning Smallest Interpretable Models
Artificial Intelligence, volume 350, pages 104441, 2026.
PDF bib Project Project Project DOI
Algorithm Selection with Zero Domain Knowledge via Text Embeddings
Proceedings of the International Conference on Automated Machine Learning, AutoML 2026, September 28 – October 1, 2026, Ljubljana, Slovenia, 2026.
Note: To appear; preprint: CoRR abs/2604.19753, https://arxiv.org/abs/2604.19753
bib Project Project
Computing Probabilistic Explanations for ML Models: Fixed-Parameter Algorithms
The 40th Annual AAAI Conference on Artificial Intelligence, AAAI-2026, pages 24622-24629, 2026.
bib Project Project
CP-Agent: Agentic Constraint Programming
Proceedings of the 3rd International Workshop on Large Language Models for Code (LLM4Code ‘26), pages 6-13, 2026, ACM.
Note: Preprint: CoRR abs/2508.07468, https://arxiv.org/abs/2508.07468
PDF bib Project Project DOI
From Data Completion to Problems on Hypercubes: A Parameterized Analysis of the Independent Set Problem
Algorithmica, volume 88, number 1, pages 8, 2026.
PDF bib Project Project Project DOI
MaxSAT-Based Compression for Tsetlin Machines
Proceedings of the 43rd International Conference on Machine Learning, ICML 2026, July 6–11, 2026, Seoul, South Korea, 2026.
Note: To appear
bib Project Project
OBDDs, SDDs, and Circuits of Bounded Width: Completeness Matters
Artificial Intelligence, volume 351, pages 104458, 2026.
PDF bib Project Project Project DOI
Smart Cubing for Graph Search: A Comparative Study
32nd International Conference on Principles and Practice of Constraint Programming, CP 2026, July 20–23, 2026, Lisbon, Portugal, volume 379 of LIPIcs, pages 33:1-33:19, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Note: Preprint: CoRR abs/2501.17201, https://arxiv.org/abs/2501.17201
PDF bib Project Project Project Project DOI
Streamliners for Answer Set Programming
Proceedings of the 42nd International Conference on Logic Programming (ICLP 2026), 2026.
Note: To appear
bib Project Project
Synthesizing Feature Extractors: An Agentic Approach for Algorithm Selection
Proceedings of the International Conference on Automated Machine Learning, AutoML 2026, September 28 – October 1, 2026, Ljubljana, Slovenia, 2026.
Note: To appear
bib Project Project Project