Барлық жарияланған талдаулар, егеменді стек зерттеулері, экожүйе жаңалықтары және ЖИ модельдерінің шолулары.
arXiv:2610.29046v1 Announce Type: new Abstract: Large language models (LLMs) have shown considerable promise in synthesizing formal specifications from source code. However, existing approaches primarily focus on functional contracts and loop invariants, while largely neglecting…
arXiv:2610.28912v1 Announce Type: new Abstract: This paper charts the evolution of the Prolog textbook Simply Logical -- Intelligent Reasoning by Example from print with runnable programmes on a 3.5-inch diskette published in 1994, via various intermediate online versions, to…
arXiv:2610.29014v1 Announce Type: new Abstract: Coding agents are rapidly advancing from single-file generation to long-horizon repository-scale engineering, yet the evaluation of their capabilities to author interactive extended reality (XR) applications remains an open…
arXiv:2610.28982v1 Announce Type: new Abstract: While large language models are increasingly deployed as tool-calling agents, their safety evaluations still focus primarily on their ability to refuse harmful requests in text. We investigate whether the refusal behavior in text…
arXiv:2610.28989v1 Announce Type: new Abstract: Customized agent deployments define policies over tools, resources, and execution conditions. Providing these policies in the task agent's prompt does not reliably prevent violations. Training a guard requires examples of tool…
arXiv:2610.28891v1 Announce Type: new Abstract: Many social evaluations for multiagent systems study behaviors as they emerge from environments instead of systematically intervening in the environment to elicit such behaviors. We introduce Fig (Finding Interactions in Games), an…
arXiv:2610.29023v1 Announce Type: new Abstract: Large language model (LLM) agents are often improved by iterating until a fixed verifier is done. Once that verifier saturates, the loop has nothing left to climb. We instead score agents against the current population, and a…
arXiv:2610.28945v1 Announce Type: new Abstract: Large language model (LLM) agents are increasingly expected to interact with environments and improve their decisions during deployment. However, how anticipating future outcomes and drawing on accumulated interaction experience…
arXiv:2610.28686v1 Хабарландыру Түрі: жаңа Аннотация: Сұрауды нақтылау белгісіз пайдаланушы сұрауларына тап болатын іздеуді кеңейтілген генерациялау (RAG) жүйелері үшін маңызды. Біз пайдаланушы сұрауы дұрыс емес немесе түсініксіз болатын көп айналымды негізделген сөйлесу сценарийлерін қарастырамыз…
arXiv:2610.28815v1 Announce Type: new Abstract: Agentic harness evolution optimizes an agent's instructions, tools, and control flow by using its task execution experiences as evolving evidence. While more evolution tasks should intuitively improve performance, our preliminary…
arXiv:2610.29010v1 Announce Type: new Abstract: Radiation treatment planning requires balancing competing objectives to satisfy clinical criteria while accommodating physicians' preferences. This study aims to develop an evidence-driven, multi-agent compound AI system that…
arXiv:2610.28706v1 Announce Type: new Abstract: LLM-driven evolutionary search is a promising paradigm for scientific discovery, but existing methods remain costly and slow, often applying expensive reasoning uniformly while underusing evidence from failed, redundant, and…
arXiv:2610.28698v1 Хабарландыру Түрі: жаңа Аннотация: Деректерді, әртүрлілікті және үлгі сыйымдылығын масштабтау әртүрлі тәжірибелер ортақ физикалық заңдарға негізделген физикалық орталарда нақтыланған оқытуды жақсартты. Бұл табыстар әртүрлі виртуалды әлемдерге тарай ма, жоқ па…
arXiv:2610.29057v1 Announce Type: new Abstract: Users increasingly rely on large language models (LLMs) to analyse collections of independent inputs, such as product reviews or social media posts, and return a single aggregated answer. This setting requires multi-instance…
arXiv:2610.28836v1 Announce Type: new Abstract: This study proposes a sketch-to-simulation system to solve handwritten circuit diagrams. The system converts raw images into a Simulation Program with Integrated Circuit Emphasis (SPICE)-compatible netlist and automatically…
arXiv:2610.26942v1 Жариялау түрі: жаңа Анықтама: Автоматты теорема дәлелдеушілер жиі тіл моделін үлгілеуге таянады, бірақ Lean сияқты дәлелдеу көмекшілері әр қате қадамды дәл қате хабарламасымен қате деп есептейді — бұл ақпарат тек үлгілеуден бас тартады. Бұлды шешу үшін біз...
arXiv:2610.26948v1 Хабарлама түрі: жаңа Анотация: Сөйлесуілік ұсыну жүйелері соңғы кезде пайдаланушы диалог ниеттерін көпмодалы өнім ақпаратымен сәйкестендіру үшін көру-тіл моделін қолданды. Алайда, бұл әдістерді көптеген өнім талаларына кеңейту қиындық тудырады: орналастыру…
arXiv:2610.26924v1 Хабарлама түрі: жаңа Анотация: Жалпы мақсатты агенттер кеңейтуде кәсіби аналитикалық жұмысты орындауды күтеді, бұл ұзақ мерзімді рассуждение, итерациялық зерттеу және сенімді дәлелдерді талап етеді. Бұл қабілеттерді дамыту үшін әртүрлі...
arXiv:2610.26964v1 Хабарландыру Түрі: жаңа Аннотация: Үлкен тілдік модельдер (LLM) классикалық жоспарлаумен күреседі, бірақ эталондар құрылымдық қиындықтарды символдық сөздік қорын түсіндіру қиындығынан сирек ажыратады. Біз BFS-оңтайлы жоспары бар жеті STRIPS доменін қарастырамыз…
arXiv:2610.26913v1 Хабарлама түрі: жаңа Анотация: Үлкен тілдік моделілерді радиологиялық есептерді құрылымдауға қолдану үлкенірек проприетарлық бұлттық моделілермен немесе орналастыру үшін жоғары деңгейлі GPU талап ететін үлкен ашық моделілермен басымдалған, бұл критикалық тікшілік...
arXiv:2610.26904v1 Элдеу түрі: жаңа Анотация: Соңғы зерттеулерде тексерілетін сыйақылармен күшейту оқытуы (RLVR) әдістері ұсынылды, олар LLM-дерге табиғи тіл спецификацияларынан жоғары сапалы RTL схемаларын генерациялауға мүмкіндік береді. Мүмкін подходтар схема PPA-сын оңтайландырады…
arXiv:2610.26995v1 Хабарландыру Түрі: жаңа Аннотация: LLM негізіндегі агенттер қайта пайдалануға болатын дағдыларға көбірек сүйенеді. Дегенмен, дағдылар кітапханаларын масштабтау шеберлікті тиімді және дәл пайдалануды қиындатады. Толық дағдыларды жүктеу жоғары таңбалауыш пен орындау уақытының үстеме шығындарын талап етеді. Керісінше, жалпақ семантикалық…
arXiv:2610.27027v1 Хабарлама түрі: жаңа Анотация: Көп агентті LLM жүйелері клиникалық тапсырмалардағы нәтижелерді жақсартады, және бұл жақсарту жиі жүйеге сенімділіктің дәлелі ретінде түсіндіріледі. Алайда, бұл екі бірдей мәлімет емес. Клиник дәрігер негізделген рассуждение-ге негізделе отырып әрекет етеді, емес…
arXiv:2610.27045v1 Хабарландыру Түрі: жаңа Аннотация: Соңғы жылдары физикалық жасанды интеллект (физикалық AI) академиялық ортада және өнеркәсіпте айтарлықтай назар аударып, қарқынды дамып келеді. Дегенмен, бұл сала оның анықтамасы бойынша консенсусқа әлі жеткен жоқ, техникалық…
arXiv:2610.26943v1 Жариялау түрі: жаңа Анотация: Математикалық ойлау — үлкен тіл моделілерінің (LLM) білім беру қолданбалары үшін негізгі қабілет, онда сенімді проблема шешу тек дұрыс жауаптар ғана емес, сонымен қатар жіктелетін және тексерілетін ойлау процестерін де талап етеді.…
arXiv:2610.27220v1 Хабарлама түрі: жаңа Анотация: Соңғы жұмыстарда Зинжир-Ойлау (CoT) себелеуі кезінде дискреттік токендер орынбасарында үздіксіз өкілділіктер зерттелді, бұл жиі «umu CoT» деп аталады. Бұл токен ембеддингтерінің қоспасымен...
arXiv:2610.27099v1 Хабарлама түрі: жаңа Анотация: Клиникалық көмек, денсаулық сақтау жүйесінің операциялары және биомедикалық ашулар аурушылар жазбаларынан сенімді жауаптар алуға негізделеді, бірақ әртүрлі клиникалық сұрақтарды бүкіл халыққа қолдану вычислилік жағынан қымбат тұрады. Мұнда…
arXiv:2610.27046v1 Хабарлама түрі: жаңа Анықтама: ЖИ жүйелері ашық зерттеу мәселелерін шешуге бастағандықтан, сенімді тексеру өте маңызды болады. Формалды математика математикалық рассуждение үшін сенімді каркас береді, агенттерге машинамен тексерілетін…
arXiv:2610.26941v1 Хабарлама түрі: жаңа Анотация: Үлкен тілдік моделілер (LLM) агенттерді алдын ала белгіленген жұмыс ағындарынан тыс, автономды жоспарлау мен орындауға көшіруге мүмкіндік береді, бұл ақыллы өндіріс үшін жаңа мүмкіндіктерді ашады. Алайда, динамикалық орталар, кеңейтілген физикалық…
arXiv:2610.27115v1 Хабарландыру Түрі: жаңа Аннотация: LLM агенттері сыртқы әлемде құралдар мен үшінші тарап дағдылары арқылы әрекет етеді, сондықтан бір орындалған әрекет қайтымсыз зиян келтіруі мүмкін. Қолданыстағы қорғаныстар ұсынылған әрекетті оның мазмұнының пайдаланушыдан келетін-келмейтінін қадағаламай бағалайды…