arXiv Artificial IntelligenceProofEvolve: Neuro-Symbolic Evolution for Formal Automated Theorem Proving
arXiv:2608.26334v1 Announce Type: new Abstract: Automated theorem proving offers a natural foundation for…
● 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 (29)Google DeepMind (26)Hugging Face Blog (75)MarkTechPost (99)MIT Technology Review AI (46)Microsoft AI Blog (8)NVIDIA AI Blog (1)OpenAI News (156)TechCrunch AI (385)VentureBeat AI (4)
arXiv Artificial IntelligencearXiv Artificial IntelligenceFaithSieve: Fine-Grained Evaluation of Math Proofs with Faithful Formal Evidence
arXiv:2608.26310v1 Announce Type: new Abstract: Large language models can now generate complex, multi-step…
arXiv Artificial IntelligenceApproved Too Late: Verdict Staleness in LLM-Guarded Self-Adaptive Systems
arXiv:2608.26306v1 Announce Type: new Abstract: A large language model (LLM) guardrail for a self-adaptive…
arXiv Artificial IntelligenceAssessing mentalization in humans and large language models
arXiv:2608.26291v1 Announce Type: new Abstract: Mentalization - the ability to infer others' beliefs and…
arXiv Artificial Intelligence6.5% of the Neuro-Symbolic Literature Can Be Reproduced from Its Published Artifacts, a Six-Stage Audit Framework and First Instantiation
arXiv:2608.26236v1 Announce Type: new Abstract: We present a six-stage framework for auditing the…
arXiv Artificial IntelligenceThe Reasoning Tax: Token Economics of LLM Reasoning Across Task Types and Deployment Contexts
arXiv:2608.26235v1 Announce Type: new Abstract: Accuracy-only benchmarking of reasoning-capable large…
arXiv Artificial IntelligenceLLM Agents for Time-Series: A Survey
arXiv:2608.26226v1 Announce Type: new Abstract: LLM-based agents are increasingly being developed for…
arXiv Artificial IntelligenceAgent Mesh: Reliability Primitives for Non-Idempotent Agent Delegation - Identity Adequacy and Evidence Adequacy
arXiv:2608.26225v1 Announce Type: new Abstract: Autonomous agents increasingly perform bounded software tasks…
arXiv Artificial IntelligenceSame Model, Different Harness: Different Coding-Agent Results
arXiv:2608.26218v1 Announce Type: new Abstract: A coding agent combines a model with a harness, which decides…
arXiv Artificial IntelligenceBenchmarking AI Agents for Hardware Design Automation via MCP Tool Calling
arXiv:2608.26199v1 Announce Type: new Abstract: We ask whether AI agents powered by locally deployed large…
arXiv Artificial IntelligenceAgentic AI for operating scientific instruments for nanoscale characterization
arXiv:2608.26198v1 Announce Type: new Abstract: Operating a scientific instrument such as an atomic force…
arXiv Artificial IntelligenceAffectOmni: RL-Verifiable People-Centric Grounded Affective Reasoning for Social and Art-Related Scenes
arXiv:2608.26193v1 Announce Type: new Abstract: Multimodal large language models (MLLMs) achieve strong…
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798