arXiv Artificial IntelligenceVero: Can AI Agents Build Formally Verified Software Repositories?
arXiv:2608.13522v1 Announce Type: cross Abstract: AI agents are increasingly used for programming, but do not…
● LIVE · AUTOMATICALLY UPDATED VIA RSS
Artificial Intelligence News
Curated from international AI laboratories, specialist publications and technology outlets. Last update: 3 hours ago.
All (10,390)
arXiv Artificial Intelligence (9570)Google AI (30)Google DeepMind (26)Hugging Face Blog (74)MarkTechPost (93)MIT Technology Review AI (46)Microsoft AI Blog (8)NVIDIA AI Blog (1)OpenAI News (157)TechCrunch AI (381)VentureBeat AI (4)
arXiv Artificial IntelligencearXiv Artificial IntelligenceThe data geometry of masking diffusion: Certified-optimal schedules via unmasking growth complexity
arXiv:2608.13520v1 Announce Type: cross Abstract: We study masking diffusion for discrete sampling and…
arXiv Artificial IntelligenceToward a Gricean Retreat: Probing LLMs for Knowledge Boundaries and Referent Specificity
arXiv:2608.13484v1 Announce Type: cross Abstract: When asked about entities outside their knowledge boundary…
arXiv Artificial IntelligenceSynthetic Persona Pretraining: Alignment from Token Zero
arXiv:2608.13482v1 Announce Type: cross Abstract: As language-model-based AI is increasingly deployed in…
arXiv Artificial IntelligenceAaLLM: An End-to-End Analog Circuit Design Framework from Topology Generation to Sizing Using Large Language Models
arXiv:2608.13472v1 Announce Type: cross Abstract: Analog circuit design is a time-consuming, iterative…
arXiv Artificial IntelligenceConcept Drift Detection and Adaptive Retraining of Malware Classification Models
arXiv:2608.13465v1 Announce Type: cross Abstract: Concept drift refers to changes over time in the…
arXiv Artificial IntelligenceCAPRI: Contract-Aware Proof Repair for Isabelle
arXiv:2608.13459v1 Announce Type: cross Abstract: We address the use of large language models (LLMs) to help…
arXiv Artificial IntelligenceUniTexture: Cross-Task Universal Adversarial Textures for Vision-Language-Action Models
arXiv:2608.13453v1 Announce Type: cross Abstract: Vision-Language-Action (VLA) models have emerged as…
arXiv Artificial IntelligenceContactGuard: Pre-Contact Execution Monitoring with Action-Conditioned Latent World Models
arXiv:2608.13438v1 Announce Type: cross Abstract: Contact-rich manipulation failures are often detected only…
arXiv Artificial IntelligenceAlgebraic Decomposition Theory for Transformer Length Generalization
arXiv:2608.13433v1 Announce Type: cross Abstract: Transformer-based language models are known to sometimes…
arXiv Artificial IntelligenceAre You Sure You're Sure? On the Impact of Instruction Tuning on Confidence and Lexical Diversity
arXiv:2608.13430v1 Announce Type: cross Abstract: Instruction-tuned language models achieve strong…
arXiv Artificial IntelligenceDeliberate Practice: Learning Robot Skills under a Budget
arXiv:2608.13415v1 Announce Type: cross Abstract: We consider the problem of autonomously learning robot…
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866