Aug 2026· International Conference on Foundations of Digital Games· pp. 1-4· 0 citations· 12 references
Computer Science
TL;DR
A claim-bounded pre-balancing method that separates what pre-numeric structure and categorical source/sink annotations can exclude, what they can only flag, and what requires later numeric analysis is presented.
Abstract
Crafting economies are often evaluated only after prices and rates are specified, although some unsupported states can be screened earlier from structure alone. We present a claim-bounded pre-balancing method that separates what pre-numeric structure and categorical source/sink annotations can exclude, what they can only flag, and what requires later numeric analysis. On a typed production graph with recipe-level AND semantics, we apply bottleneck, exchange-role, and bootstrap checks to an induced seven-discipline Elancia crafting subgraph (520 items, 331 recipes, 866 total nodes). The screen reports a highlighted witness-supported bottleneck, four outgoing exchange-deficit cases, and three bootstrap failures under an NPCShop+Gathering baseline. We then translate those signals into a profession-topology redesign sketch that reduces maximum binary source share from 50.0% to 29.4%, eliminates zero-outgoing cases, and raises mean unique out-partners from 0.86 to 2.43. We treat the comparison as actionability evidence rather than recipe-level validation.
The contribution is a falsifiable evaluation method and independent public evidence, not a new DR estimator, official BFCL leaderboard score, or production-agent safety claim.
CriticalSCM-Bench v1 is presented, a controlled synthetic benchmark with causal ground truth, paired factual/counterfactual rollouts, and an explicit net-value objective that identifies regimes in which adaptive ranking adds value and those in which simpler structural policies remain preferable.
Shi Zhuo Huang, Jiani He, Ding-Yan Shang et al.· 4 citations
This work introduces AlphaOpsBench, which evaluates end-to-end operationalization from source-grounded economic hypotheses to auditable executable programs over 581 source-preserving strategy records and a lifecycle-scale Polymarket dataset, and separates strategy fidelity, behavioral validity, historical executability...
Huai-Yu Jia, Ming-Xuan Zhao, Jin-Cheng Gao et al.· 0 citations
Problem definition. We study choice modeling and assortment optimization under context effects, where an item’s perceived attractiveness depends on the other items displayed alongside it. Methodology. We study the Contextual Multinomial Logit (CMNL) model, in which each item’s utility adjusts linearly with the presence...
Reza Yousefi Maragheh, Shuai Li, Tian-Cheng Zhao et al.· Manufacturing & Service...· 0 citations
This work operationalizes overclaiming as a final response that reports work that the agent's own transcript shows it did not do, for example, claiming to have read a file it never opened, showing that claims of completion can conceal substantive failures.
Standard evaluation of large language models is challenged by varying the token generation budget, i.e., the maximum tokens a model may produce, across seven levels, evaluating four models on three reasoning benchmarks, and finding three findings that argue for budget-conditioned evaluation protocols.
Rodrigo Guedes de Souza, Alison R. Panisson· 1 citation
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.