2026· International Conference on Theory and Applications of Satisfiability Testing· pp. 42:1-42:11· 1 citation· 18 references
Computer Science
TL;DR
This work proposes a programmatic abstraction for CO benchmark sets that facilitates cross-community access to benchmarks and systematic comparisons of solvers across paradigms, and implements file writers to multiple solver-oriented formats.
The actor model of computation is an attractive representation for many applications because it explicitly captures concurrency and supports compile-time analyses such as buffer sizing and static scheduling. However, descriptions of applications in this model are often tied to specific frameworks and programming langua...
Gareth Callanan, Michail Boulasikis, Flavius Gruian· ACM Transactions on Architec...· 0 citations
Adaptive-GEPA is introduced, which learns both how to divide requests and how to solve them, and it evolves a router and a library of specialist programs under one search budget.
Tian-Yu Chen, Yasi Zhang, Rui-Yi Wang et al.· 0 citations
Answer Set Programming (ASP) stands as a powerful, declarative paradigm within knowledge-driven AI, offering a robust framework for complex search and optimization. Unlike data-driven methods, ASP leverages explicit knowledge representation to provide guarantees on correctness and optimality. This paper chronicles...
M. Gebser, R. Kaminski, B. Kaufmann et al.· KI - Künstliche Intelligenz· 0 citations
SciWalker, a framework for synthesizing scientific coding problems through operator-chain sampling and execution feedback, enables scalable task generation while promoting scientific grounding, computational diversity, and executability.
Chen-Xi Li, Wen-Xuan Zeng, Yun Luo et al.· 0 citations
This work introduces InteractBench, a benchmark comprising 322 high-quality interactive problems curated from Codeforces, AtCoder, IOI, and ICPC, and assesses whether model-generated code can acquire information and track state dynamically.
TCSAlgBench provides a refreshable testbed for measuring progress in model reasoning and studying how agent workflows support research-level proof discovery, and evaluates ten model configurations from four families under direct inference and prover-verifier discussion, and compares four agent workflows under matched m...
Chu-Tong Yang, Xi-Yuan Zhang, Yu Huang et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
