Coe

A Parameterized-Complexity Framework for Finding Local Optima
17th Innovations in Theoretical Computer Science Conference, ITCS 2026, Bocconi University, Milan, Italy, January 27-30, 2026 (Shubhangi Saraf), volume 362 of LIPIcs, pages 66:1-66:20, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
PDF bib Project Project DOI
A Quasi-Polynomial Time Algorithm for 3-Coloring Circle Graphs
2026 Symposium on Simplicity in Algorithms, SOSA 2026, Vancouver, BC, Canada, January 12-14, 2026 (Sepehr Assadi and Eva Rotenberg), pages 65-80, 2026, SIAM.
PDF bib Project Project Project DOI
Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
Proceedings of the 20th Conference on Neurosymbolic Learning and Reasoning (NeSy 2026), 2026.
Note: To appear; preprint: CoRR abs/2603.08322, https://arxiv.org/abs/2603.08322
bib Project Project
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
ASP-Bench: From Natural Language to Logic Programs
Proceedings of the 2nd IEEE/ACM International Workshop on Neuro-Symbolic Software Engineering (NSE ‘26), pages 1-8, 2026, ACM.
Note: Preprint: CoRR abs/2602.01171, https://arxiv.org/abs/2602.01171
PDF bib Project Project DOI
Bilateral Treewidth for QBF: Where Strategies and Resolution Meet
29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20-23, 2026 (Alexey Ignatiev and Stefan Szeider), volume 377 of LIPIcs, pages 16:1-16:20, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
PDF bib Project Project DOI
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
ContReAct: A Feedback-Based Architecture for Continuous Agentic Operation
Proceedings of the 2026 International Workshop on Agentic Engineering (AGENT ‘26), pages 56-62, 2026, ACM.
PDF bib Project Project DOI
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
Formally Verified Graph Generation with SAT modulo Symmetries and Lean
Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Part of FLoC 2026, July 26–29, 2026, 2026, Springer.
Note: To appear
bib Project