arXiv Artificial IntelligenceFrom Accuracy to Robustness: A Study of Rule- and Model-based Verifiers in Mathematical Reasoning
arXiv:2505.22203v3 Announce Type: replace-cross Abstract: Trustworthy verifiers are essential for the success…
● 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 IntelligenceHybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
arXiv:2505.15740v2 Announce Type: replace-cross Abstract: Formal methods play a crucial role in ensuring the…
arXiv Artificial IntelligenceTemporally-Grounded Language Generation: Towards Real-Time Vision-Language Models
arXiv:2505.11326v2 Announce Type: replace-cross Abstract: Vision-language models (VLMs) have shown remarkable…
arXiv Artificial IntelligenceCommunication styles and reader preferences of LLM- and human-authored COVID-19 information explanations: a case study
arXiv:2505.08143v2 Announce Type: replace-cross Abstract: With the wide adoption of large language models…
arXiv Artificial IntelligenceThe BS-meter: Detecting Politics and Labour through ChatGPT's Language
arXiv:2411.15129v3 Announce Type: replace-cross Abstract: What can we learn about language from studying how…
arXiv Artificial IntelligenceRecurrent Reinforcement Learning with Memoroids
arXiv:2402.09900v4 Announce Type: replace-cross Abstract: Memory models such as Recurrent Neural Networks…
arXiv Artificial IntelligenceAccount Consistency from Gameplay Traces: Same-Player Verification in Counter-Strike 2
arXiv:2608.24893v2 Announce Type: replace Abstract: In competitive first-person shooter (FPS) games such as…
arXiv Artificial IntelligenceDo Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?
arXiv:2607.15439v2 Announce Type: replace Abstract: Our previous ARC-AGI-3 agent bundled executable world…
arXiv Artificial IntelligenceRethinking the Evaluation of Harness Evolution for Agents
arXiv:2607.12227v2 Announce Type: replace Abstract: We revisit the evaluation of automatic harness evolution…
arXiv Artificial IntelligenceLearning the ARTS of Search for Automated Discovery
arXiv:2606.21891v2 Announce Type: replace Abstract: Scientific discovery can be formulated as an iterative…
arXiv Artificial IntelligenceProvenanceGuard: Source-Aware Factuality Verification for MCP-Based LLM Agents
arXiv:2606.18037v3 Announce Type: replace Abstract: Tool-using LLM agents increasingly use the Model Context…
arXiv Artificial IntelligenceTouchThinker: Scaling Tactile Commonsense Reasoning to the Open World with Large-scale Data and Action-aware Representation
arXiv:2606.11637v4 Announce Type: replace Abstract: Touch is a key modality for embodied agents to understand…
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866