Қазақстандағы жасанды интеллект пен жоғары технологиялар туралы ақылды портал
arXiv:2610.28909v1 Announce Type: new Abstract: Deep research systems iteratively plan, gather evidence, synthesize, and revise, making end-to-end latency a key bottleneck for interactive use. Almost all production systems are built on autoregressive (AR) language models and…
arXiv:2610.28826v1 Announce Type: new Abstract: Automated judges of clinical artificial intelligence (AI) outputs are necessary, but large language model (LLM) judges are costly and slow at scale. We compared Jev, a decision language model that returns structured judgments, with…
arXiv:2610.28905v1 Announce Type: new Abstract: Diffusion language models form answers through a sequence of revisable continuous states, but multi-agent systems usually discard those states and make agents communicate only after decoding text. We ask whether one independent…
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.28934v1 Announce Type: new Abstract: Coding agents now complete tasks autonomously, modifying real-world state such as artifacts, software environments, and configurations along the way. Yet they show limited backup awareness: recognizing that an action will modify…
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.28855v1 Announce Type: new Abstract: Progress on foundation model pretraining is gated by who can afford a trial, and relational pretraining is no exception. Recipes are developed inside individual labs, reported under private protocols, and do not accumulate.…
arXiv:2610.28875v1 Announce Type: new Abstract: Large language models increasingly take part in extended conversations where they can both shape and be shaped by another party's views, yet most persuasion research measures only one side of that exchange. We introduce a…
arXiv:2610.29036v1 Announce Type: new Abstract: Explaining a time-series model requires both locating the evidence and extracting meaningful knowledge from it. Yet a single timestep is not a semantic unit: the meaningful patterns live across many samples, not in any one of them.…
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.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.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.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.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.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.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.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.28987v1 Announce Type: new Abstract: Persistent memory is a largely undefended surface for injection and poisoning, and the same risk limits memory sharing among agents. We present PerMIT, a memory architecture with provable integrity guarantees under an explicit…
arXiv:2610.28914v1 Announce Type: new Abstract: Frontier language-model agents excel at complex tasks, but high inference costs make transferring their capabilities to smaller models essential. Traditional knowledge distillation achieves this through parameter updates, requiring…
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.26948v1 Хабарлама түрі: жаңа Анотация: Сөйлесуілік ұсыну жүйелері соңғы кезде пайдаланушы диалог ниеттерін көпмодалы өнім ақпаратымен сәйкестендіру үшін көру-тіл моделін қолданды. Алайда, бұл әдістерді көптеген өнім талаларына кеңейту қиындық тудырады: орналастыру…
arXiv:2610.26899v1 Хабарлама түрі: жаңа Анотация: Әлемдік халықтың тез өсуіне байланысты, дәстүрлі құрылыс әдістері ағымдағы тұрғын үй сұранысын қанағаттандыруға жеткіліксіз болуда. Машиналық оқыту алгоритмдерінің дамуы зерттеушілерді оларды зерттеуге ынталандырды…
arXiv:2610.26941v1 Хабарлама түрі: жаңа Анотация: Үлкен тілдік моделілер (LLM) агенттерді алдын ала белгіленген жұмыс ағындарынан тыс, автономды жоспарлау мен орындауға көшіруге мүмкіндік береді, бұл ақыллы өндіріс үшін жаңа мүмкіндіктерді ашады. Алайда, динамикалық орталар, кеңейтілген физикалық…
arXiv:2610.26904v1 Элдеу түрі: жаңа Анотация: Соңғы зерттеулерде тексерілетін сыйақылармен күшейту оқытуы (RLVR) әдістері ұсынылды, олар LLM-дерге табиғи тіл спецификацияларынан жоғары сапалы RTL схемаларын генерациялауға мүмкіндік береді. Мүмкін подходтар схема PPA-сын оңтайландырады…
arXiv:2610.26913v1 Хабарлама түрі: жаңа Анотация: Үлкен тілдік моделілерді радиологиялық есептерді құрылымдауға қолдану үлкенірек проприетарлық бұлттық моделілермен немесе орналастыру үшін жоғары деңгейлі GPU талап ететін үлкен ашық моделілермен басымдалған, бұл критикалық тікшілік...
arXiv:2610.26924v1 Хабарлама түрі: жаңа Анотация: Жалпы мақсатты агенттер кеңейтуде кәсіби аналитикалық жұмысты орындауды күтеді, бұл ұзақ мерзімді рассуждение, итерациялық зерттеу және сенімді дәлелдерді талап етеді. Бұл қабілеттерді дамыту үшін әртүрлі...
arXiv:2610.26942v1 Жариялау түрі: жаңа Анықтама: Автоматты теорема дәлелдеушілер жиі тіл моделін үлгілеуге таянады, бірақ Lean сияқты дәлелдеу көмекшілері әр қате қадамды дәл қате хабарламасымен қате деп есептейді — бұл ақпарат тек үлгілеуден бас тартады. Бұлды шешу үшін біз...
arXiv:2610.26964v1 Хабарландыру Түрі: жаңа Аннотация: Үлкен тілдік модельдер (LLM) классикалық жоспарлаумен күреседі, бірақ эталондар құрылымдық қиындықтарды символдық сөздік қорын түсіндіру қиындығынан сирек ажыратады. Біз BFS-оңтайлы жоспары бар жеті STRIPS доменін қарастырамыз…
arXiv:2610.26995v1 Хабарландыру Түрі: жаңа Аннотация: LLM негізіндегі агенттер қайта пайдалануға болатын дағдыларға көбірек сүйенеді. Дегенмен, дағдылар кітапханаларын масштабтау шеберлікті тиімді және дәл пайдалануды қиындатады. Толық дағдыларды жүктеу жоғары таңбалауыш пен орындау уақытының үстеме шығындарын талап етеді. Керісінше, жалпақ семантикалық…
arXiv:2610.27027v1 Хабарлама түрі: жаңа Анотация: Көп агентті LLM жүйелері клиникалық тапсырмалардағы нәтижелерді жақсартады, және бұл жақсарту жиі жүйеге сенімділіктің дәлелі ретінде түсіндіріледі. Алайда, бұл екі бірдей мәлімет емес. Клиник дәрігер негізделген рассуждение-ге негізделе отырып әрекет етеді, емес…