搜索“arXiv”

vironment: envs/thinkingbox env Framework: microsoft/thinkingbox · tutorial Benchmark: microsoft/thinkingbox-data · v1.0 release Dataset viewer: microsoft/ThinkingBox-Bench Paper: arXiv:2608.19741 or HF RL training (coming soon): microsoft/thinkingbox-training ThinkingBox code is MIT-licensed; the benchmark data is CDLA-Permissive-2.0 ; the OpenEnv environment ships under OpenEnv's BSD-3-Clause. Disclaimer: every task in the public benchmark is a synthetic reconstruction. The workflows and polic

匹配字段正文

roor, Dino Kirouani, Jimmy Erskine, Tamir Hegazy, Scott Niekum, Usman A. Khan, Federico Pecora, and Joseph W. Durham, "DeepFleet: Multi-Agent Foundation Models for Mobile Robots," arXiv:2508.08574, 2025. Aghion, Philippe, Benjamin F. Jones, and Charles I. Jones, "Artificial Intelligence and Economic Growth," in Ajay Agrawal, Joshua Gans, and Avi Goldfarb, eds., The Economics of Artificial Intelligence: An Agenda , University of Chicago Press, 2019, 237-282. Amazon, "Introducing Vulcan: Amazon's

匹配字段正文

inked to or cited in the text. Adler, Steven et al., “Personhood Credentials: Artificial Intelligence and the Value of Privacy-preserving Tools to Distinguish Who is Real Online,” arXiv preprint arXiv:2408.07892, 2024. Bianchi, Federico, Patrick John Chia, Mert Yuksekgonul, Jacopo Tagliabue, Dan Jurafsky, and James Zou, “How Well Can LLMs Negotiate? NegotiationArena Platform and Analysis,” Proceedings of the 41st International Conference on Machine Learning , 2024, 235, 3935–3951. Binz, Marcel e

匹配字段正文

t Try the ALTK-Evolve — the open-source repo now includes the Consistency Analyzer and consistency-guideline generation used in these experiments — or read the technical report on arXiv for the complete methodology. If accuracy numbers you can't reproduce on your own tasks sound familiar, we'd like to hear about it — concrete examples of flip-prone behavior in your own agents are exactly the kind of feedback that shapes what we build next. Open an issue or a discussion . Appendix: Understanding

匹配字段正文

, and P. Zimmermann, "Comparing the Difficulty of Factorization and Discrete Logarithm: A 240-Digit Experiment," Advances in Cryptology — CRYPTO 2020, LNCS 12171, pp. 62–91, 2020. arxiv.org/abs/2006.06197; [2]The CADO-NFS Development Team, "CADO-NFS, An Implementation of the Number Field Sieve Algorithm," software project, accessed September 9, 2026. cado-nfs.gitlabpages.inria.fr; [3]N. David and P. Zimmermann, "A New Ranking Function for Polynomial Selection in the Number Field Sieve," 75 Years

匹配字段正文

worse than OpenWebText. This is not surprising since the Pile’s main improvement was data corpus diversity over filtering. It has a curated 22-source mixture including PubMed and arXiv papers, GitHub code, legal opinions, patents, and parliamentary proceedings. The amount of cross-domain transfer to OLMES (which is English web-prose MCQ) might be minimal for many of these tokens, thus resulting in lower compute efficiency. We note that by virtue of its larger size, we expect that the Pile shoul

匹配字段正文

und in Propositions as Types by Philip Wadler. Chen, S., Marwaha, K., Lu, X., Yuen, H., & Peng, T. (2026). Prove2Me: An open collaborative platform for scaling math formalization. arXiv. https://doi.org/10.48550/arXiv.2608.28433 Automating Math , Adam Marblestone, in Asterisk Magazine. Footnotes During his undergrad, Peng’s research advisor wanted to include results from Peng’s thesis in a Nature article. He asked Peng whether he was sure the proof was correct. Peng’s honest answer was: “I'm 99%

匹配字段正文

me growth trend as CVE issuance or level off at current rates. We’ll have to wait and see how publicly available Frontier AI Cyber models continue to progress over the next year.” arXiv submissions: dramatic acceleration Mathematics submissions to arXiv have dramatically accelerated, with big variations by subfield. Combinatorics (math.CO) rose from 377 submissions in January 2026 to 743 in July, roughly doubling over those months (the 2025 monthly average was 368); This metric clearly cannot be

匹配字段正文

f-Improvement.” LessWrong, 2008. [3] Choi, et al. “Anchored Self-Play for Code Repair.” ICML 2026. [4] Zhao, et al. “Absolute Zero: Reinforced Self-play Reasoning with Zero Data.” arXiv preprint arXiv:2505.03335, 2025. [5] Yuan, et al. “Self-Rewarding Language Models.” arXiv preprint arXiv:2401.10020, 2024. [6] Chen, et al. “Self-Play Fine-Tuning Converts Weak Language Models to Strong Language Models.” ICML 2024. [7] Zhang, et al. “Agentic Context Engineering: Evolving Contexts for Self-Improvi

匹配字段正文

rom the model’s ability to reason to the harness’s ability to translate model intent into actions and reflect execution outcomes back to the model. In a paper we just published on arXiv, "Dissecting model behavior through agent trajectories", we formalize this bottleneck as the intent-execution gap: the mismatch between what the model intends and what the harness executes, and vice versa. For example, in trying to revise code, a model may intend to edit a single instance of a function, while the

匹配字段正文

ed on a long-horizon task, the next thing to try is not another single-agent run with a larger budget. It is CAID. If you want to dig deeper, the project is available here: Paper (arXiv); Code References J. Geng and G. Neubig. 2026. Effective Strategies for Asynchronous Software Engineering Agents. arXiv preprint arXiv:2603.21489; C. E. Jimenez, J. Yang, A. Wettig, S. Yao, K. Li, H. Chen, K. Narasimhan, and O. Press. 2023. SWE-bench: Can language models resolve real-world GitHub issues? arXiv pr

匹配字段正文

most common source was academic papers. Multiple ICLR 2026 submissions on OpenReview used BrowseComp questions as case studies and published the answers in plaintext tables, while ArXiv papers from several labs included complete solution trajectories in their appendices. In one case, Opus’s first search query returned a paper containing the exact question and answer as the top result. The two remaining cases were qualitatively different. In both, after initially trying to solve the question thro

匹配字段正文

infrastructure through IBM Cloud can deliver the performance needed for reliable frontier-scale AI model development. For more information please reference the technical report on arXiv, the Zyphra technical blog post, and AMD blog post. About Zyphra Zyphra is a full-stack, open-source superintelligence company based in San Francisco on a mission to build human-aligned AGI. Zyphra’s core research thesis toward general superintelligence is focused on developing next-generation multimodal architec

匹配字段正文

for domain alignment and complexity, but notably reviewers were not required to verify the full accuracy of a question’s rationale if it would take “more than 5 minutes” (https://arxiv.org/abs/2501.14249 ). A second round of question selection was performed to find the best questions via having high-quality reviews. Finally, a bug-bounty crowd sourcing system was used for post-release refinement. So question writers had to verify frontier models don't get the questions correct. Reviewers only h

匹配字段正文

the NEJM cases in the research reported in this blog post. The research described here has benefited from the insights of many people. We are grateful to the authors named on the arXiv paper and the wider team at MAI. We also thank further colleagues both inside and outside of Microsoft for sharing their insights including Bryan Bunning, Nando de Freitas, Andrija Milicevic, Hoifung Poon, David Rhew, Karén Simonyan, Eric Topol, and Jim Weinstein. Gianluca Fontana and Kevin Hawkins (Prova Health)

匹配字段正文

o receive your application. You can find more information about the role at this link. Edit 14 January 2025: Links to the Clio paper in this post have been updated to point to the arXiv version. Footnotes 01 For safety investigations, we also run Clio on a subset of first-party API traffic, keeping results restricted to authorized staff. Certain accounts are excluded from analysis, including trusted organizations with zero retention agreements. For more information about our policies, see Append

匹配字段正文

hacking/. Or [1] Andrew Ng & Stuart Russell. “Algorithms for inverse reinforcement learning.”. ICML 2000. [2] Amodei et al. “Concrete problems in AI safety: Avoid reward hacking.” arXiv preprint arXiv:1606.06565 (2016). [3] Krakovna et al. “Specification gaming: the flip side of AI ingenuity.” 2020. [4] Langosco et al. “Goal Misgeneralization in Deep Reinforcement Learning” ICML 2022. [5] Everitt et al. “Reinforcement learning with a corrupted reward channel.” IJCAI 2017. [6] Geirhos et al. “Sho

匹配字段正文

ool; it is an adaptive system that uses tools based on the question and intermediate research. These tools include: SEARCH : finding relevant papers from online databases, such as Arxiv and Pubmed; GATHER EVIDENCE : parsing and summarizing text from these papers; ANSWER QUESTION : ranking the relevance of the gathered context and synthesizing information into a final answer. This process is non-linear. For example, if PaperQA sees a paper that uses a different word to refer to a concept, it can

匹配字段正文