arXiv Artificial IntelligenceP$^{3}$: Joint Program-and-Proof Planning for Verified Code Generation
arXiv:2608.09277v1 Announce Type: new Abstract: Verified code generation asks a large language model (LLM) to…
● 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 IntelligencePrivileged Likelihood Is Not Automatically Value: Three Checks for Token Credit in On-Policy Self-Distillation
arXiv:2608.09263v1 Announce Type: new Abstract: Outcome verifiers score completed reasoning traces but do not…
arXiv Artificial IntelligenceBusiness Truth, not SQL Accuracy: A Rule-Gated 7B Analytics Agent Outperforms a Direct-Prompted 32B Baseline
arXiv:2608.09254v1 Announce Type: new Abstract: LLM analytics agents are evaluated on SQL syntax accuracy…
arXiv Artificial IntelligenceSkillSentry: Reliable Skill Execution for LLM Agents via Runtime Assurance
arXiv:2608.09253v1 Announce Type: new Abstract: LLM agents are increasingly equipped with skills to perform…
arXiv Artificial IntelligenceAn Explainable GNN Framework for Component-Level Anomaly Diagnosis
arXiv:2608.09246v1 Announce Type: new Abstract: Industrial processes are complex systems composed of multiple…
arXiv Artificial IntelligenceSafeSceneReason: A Multimodal Reasoning Benchmark Connecting Industrial Hazards with Accident Knowledge
arXiv:2608.09230v1 Announce Type: new Abstract: Industrial-safety understanding requires more than detecting…
arXiv Artificial IntelligenceOmni2LoRA: Coherence-Preserving Parametric Memory for Efficient Omni Language Models
arXiv:2608.09227v1 Announce Type: new Abstract: Omnimodal language models (OLMs) enable unified audio-visual…
arXiv Artificial IntelligenceCRUISE: Vision-Language Model-Guided Uncertainty-Aware Cross-Modal Sensor Fusion for Robust Autonomous Driving
arXiv:2608.09202v1 Announce Type: new Abstract: Modern autonomous vehicles are equipped with multiple…
arXiv Artificial IntelligenceSignature-Guided Capacity Occupancy for Dense Expert Merging
arXiv:2608.09201v1 Announce Type: new Abstract: Dense expert merging combines domain-specialized language…
arXiv Artificial IntelligenceStructure-Preserving Uncertainty Propagation in First-Order Proof Search
arXiv:2608.09190v1 Announce Type: new Abstract: GK is a query-directed first-order prover that extends…
arXiv Artificial IntelligenceAgentic Router: An Execution-Grounded Continual Learning Approach With Memory
arXiv:2608.09184v1 Announce Type: new Abstract: Large language model (LLM) agents provide a promising…
arXiv Artificial IntelligenceFrom Relevance to Execution Utility: Reward-Aware Dynamic Execution Gating for Skill-Based LLM Agents
arXiv:2608.09168v1 Announce Type: new Abstract: Agent skills are increasingly used to equip large language…
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798