arXiv Artificial IntelligenceSOVER: Formal Certification of Optimization Reformulations via LLM-Assisted SMT Verification
arXiv:2609.00728v1 Announce Type: new Abstract: Large Language Models (LLMs) have shown remarkable promise in…
● LIVE · AUTOMATICALLY UPDATED VIA RSS
Artificial Intelligence News
Curated from international AI laboratories, specialist publications and technology outlets. Last update: 3 hours ago.
All (9,570)
arXiv Artificial Intelligence (9570)Google AI (30)Google DeepMind (26)Hugging Face Blog (74)MarkTechPost (97)MIT Technology Review AI (46)Microsoft AI Blog (8)NVIDIA AI Blog (1)OpenAI News (156)TechCrunch AI (383)VentureBeat AI (4)
arXiv Artificial IntelligencearXiv Artificial IntelligenceA Closed-Loop Evaluation of Capability Loss and Recovery in Compressed Driving Policies
arXiv:2609.00718v1 Announce Type: new Abstract: Many automobile and mobility companies deploy learned driving…
arXiv Artificial IntelligenceChatDev 2.0: A No-Code Multi-Agent Platform for Developing Everything
arXiv:2609.00714v1 Announce Type: new Abstract: Large language model (LLM)-based multi-agent systems (MAS)…
arXiv Artificial IntelligenceValue Over Language Model: Detecting Original Contribution in Writing
arXiv:2609.00700v1 Announce Type: new Abstract: LLMs have been rapidly adopted across writing tasks…
arXiv Artificial IntelligenceTriple-Bottom-Line Sustainability of Language Models for Edge AI: A Comparison Between SLMs and Quantized LLMs
arXiv:2609.00665v1 Announce Type: new Abstract: Edge-AI model selection is commonly driven by one isolated…
arXiv Artificial IntelligenceDrift-Aware LLM Routing with Sparse Contexts and Shared Budgets
arXiv:2609.00662v1 Announce Type: new Abstract: A multi-model language service must route each request while…
arXiv Artificial IntelligenceSciTrue: Reliable Scientific Claim Validation with Frontier and Open Language Models at the NTCIR SciClaimEval Task
arXiv:2609.00654v1 Announce Type: new Abstract: We describe the SciTrue team's participation in both subtasks…
arXiv Artificial IntelligenceSelf-Reports Are Not Verification: Environment-Grounded Auditing of LLM Operators in Evolutionary Search
arXiv:2609.00652v1 Announce Type: new Abstract: Language model agents increasingly propose actions, observe…
arXiv Artificial IntelligenceDramaChain Bench: An End-to-End Benchmark for Short-Drama Generation
arXiv:2609.00646v1 Announce Type: new Abstract: Commercial short-drama production follows a multi-stage…
arXiv Artificial IntelligenceREVISE: Validity-Guided Recovery for Online Revisions in Agent Workflows
arXiv:2609.00643v1 Announce Type: new Abstract: Agent revisions expose a fundamental correctness--efficiency…
arXiv Artificial IntelligenceControl-Data Flow Separation: Stable Prompt Optimization in Multi-Agent LLMs
arXiv:2609.00621v1 Announce Type: new Abstract: Prompt optimization can improve multi-agent LLM systems, but…
arXiv Artificial IntelligenceSocrates went Nuclear: Comparing Interaction Strategies for AI systems in a Learning Context using Brain Sensing
arXiv:2609.00584v1 Announce Type: new Abstract: Does unrestricted AI access bypass the cognitive effort…
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798