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, ed.), 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, Eva Rotenberg, eds.), 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 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. Extended abstract in Proceedings 42nd International Conference on Logic Programming, ICLP 2026, EPTCS 450, pages 104–118, https://doi.org/10.4204/EPTCS.450.10
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, Stefan Szeider, eds.), 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
Fortieth AAAI Conference on Artificial Intelligence, Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence, Sixteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2026, Singapore, January 20-27, 2026 (Sven Koenig, Chad Jenkins, Matthew E. Taylor, eds.), pages 24622–24629, 2026, AAAI Press.
PDF bib Project Project DOI
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, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I (Armin Biere, Carsten Lutz, Sara Negri, eds.), volume 16688 of Lecture Notes in Computer Science, pages 117–135, 2026, Springer.
PDF bib Project DOI