This work formalizes LRM safety objectives as requiring non-malicious reasoning and answers, safety consistency, and explicit intent identification, and introduces a reasoning-preserving gradient projection mechanism that analytically resolves conflicts between safety and reasoning gradients, effectively eliminating th...
Yi-Chen Sun, Qi-Rui Liu, Yan Wang et al.· 0 citations
This work introduces FINCOSMOS, an open-world evaluation paradigm for agents doing financial work, and shows how an agent with persistent memory learned all ten tasks with FINCOSMOS feedback.
Yupeng Cao, Xue-Qing Peng, Ling-Fei Qian et al.· 0 citations
Results show that how information is represented to an agent shapes both its cost and its success, making the environment worth optimizing in addition to the parameters and the harness, making the environment worth optimizing in addition to the parameters and the harness.
Ming-Xuan Li, Huan-Zhi Mao, Qiu-Yang Mang et al.· 0 citations
When a tropical cyclone (TC) threatens several ports, preparedness planning depends on anticipating which ports are likely to be affected and where disruptions may last longest. Limited historical observations at individual ports and uncertainty in landfall location make these relative impacts difficult to estimate. We...
Chen-Chen Kuai, Shi-Xuan Tang, Chao-Lun Ma et al.· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
A satisfaction floor, computable from two statistics of interaction logs, offers a way to monitor the power users retain in a deployed system, and simulations in random environments show the three quantities are correlated but far from interchangeable.
Jaime Ruiz-Serra, Tomáš Gavenčiak, J. Heitzig· 0 citations
This work introduces PromptOps, a closedloop framework for monitoring and iteratively recalibrating LLM-as-a-Judge (LLMaaJ) systems and establishes prompt optimization for deployed LLM judges as an inherently iterative maintenance problem and demonstrates that PromptOps provides a practical abstraction for studying and...
Sven Kleinkop, Tamás Janusko, R. Bochnia et al.· 0 citations
Behavior-Conditioned Symbolic Synthesis is introduced---an approach for automated search of interpretable, deterministic symbolic programs that verifiably reproduce behavior---and applied to model both human and machine behavior across hundreds of challenging reasoning problems, pointing to underlying mechanisms remini...
Solim LeGris, Philipp Mondorf, Jin-Ran Jin et al.· 0 citations
The results show that verification success alone is insufficient evidence of independent cross-agent agreement, and that model capability does not guarantee agreement when formalizing the same source independently.
EFXPLORER is proposed, a constrained exploration framework that maximizes exploration objectives subject to a constraint that preserves established task performance and incorporates a successor distance-based intrinsic reward that captures long-horizon dependencies.
Sungil Son, Hoseong Jung, Dahyun Oh et al.· 0 citations
Close-loop evaluation is proposed, an evaluation method for deployed agents that models evaluation as performance estimation under biased raters and censored outcomes, and it requires every level's conclusion to trace back to atomic data and to be computed by versioned rules.
A theoretical framework comparing Darwinian, Lamarckian, and agent-directed evolution following environmental change is developed, to preserve humanity's ability to guide its direction, limit its speed, and intervene when necessary.
The Trust Responsive Authorization Policy is empirically characterized, which maps an Authorization Readiness Score (ARS), a weighted combination of runtime trust, operational stability, and contextual risk, onto discrete authorization levels through an asymmetric rule: escalation requires consecutive observations abov...
Ahsan Habib Shihab, Imre Felde, Ramis Akhmedov et al.· 0 citations