arXiv Artificial IntelligenceFrom Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving
arXiv:2608.14771v1 Announce Type: new Abstract: Making language models solve constraint problems reliably…
● 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 IntelligenceAgentic Data Cleaning Without a Clean Reference: An Experimental Study of Capabilities and Trade-offs
arXiv:2608.14765v1 Announce Type: new Abstract: Data cleaning without a trusted clean reference is…
arXiv Artificial IntelligenceAdvanced modelling and data analytics in aviation
arXiv:2608.14746v1 Announce Type: new Abstract: The aviation industry characterized by its stringent safety…
arXiv Artificial IntelligenceBeyond Pass@k: Measuring Reliability and Security of Agentic Code Generation
arXiv:2608.14711v1 Announce Type: new Abstract: AI coding agent benchmarks rank agents with the Chen et al…
arXiv Artificial IntelligenceSemantic Uncertainty-Guided Orchestration in Hierarchical Multi-Agent Systems
arXiv:2608.14707v1 Announce Type: new Abstract: As large language model (LLM)-based multi-agent systems…
arXiv Artificial IntelligenceSynchronized Logit Steering: Real-world Steganography
arXiv:2608.14697v1 Announce Type: new Abstract: Steganography in large language models offers a way to embed…
arXiv Artificial IntelligenceA Comprehensive Survey of Wireless Foundation Models for AI-Native 6G Networks
arXiv:2608.14694v1 Announce Type: new Abstract: Foundation models are emerging as a transformative paradigm…
arXiv Artificial IntelligenceWhen Agentic Executions Fail: Detecting and Localizing Runtime Faults from Telemetry
arXiv:2608.14680v1 Announce Type: new Abstract: Reliability in LLM-based agentic systems is a property of the…
arXiv Artificial IntelligenceBeyond Correctness: Toward Automated Novelty Verification with Lean 4
arXiv:2608.14669v1 Announce Type: new Abstract: Artificial intelligence systems applied to mathematics verify…
arXiv Artificial IntelligencePosition: AI Agents in Scientific Teams Should Be Studied as Human-Agent Systems
arXiv:2608.14667v1 Announce Type: new Abstract: Large language model-based agents are increasingly deployed…
arXiv Artificial IntelligenceCross-Domain Industrial Fault Detection by Causal Mechanism Monitoring
arXiv:2608.14666v1 Announce Type: new Abstract: Unsupervised fault detection in industrial systems is…
arXiv Artificial IntelligenceWhen Uncertainty Isn't Enough: An Empirical Study of Self-Correction in Code Generation
arXiv:2608.14659v1 Announce Type: new Abstract: Large language models for code generation often produce…
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798