arXiv Artificial IntelligenceTLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
arXiv:2606.06133v4 Announce Type: replace-cross Abstract: TLA+ is a formal specification language 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 (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 IntelligenceThe Score Hamiltonian: Mapping Diffusion Models to Adiabatic Transport
arXiv:2606.05217v4 Announce Type: replace-cross Abstract: We exhibit an exact correspondence between sampling…
arXiv Artificial IntelligenceAn Empirical Audit of Input Encoders for Multi-Channel Signal Transformers
arXiv:2606.04752v3 Announce Type: replace-cross Abstract: Transformers consuming multi-channel scalar signals…
arXiv Artificial IntelligenceVistaHop: Benchmarking Long-Horizon Visual DeepSearch
arXiv:2606.03273v2 Announce Type: replace-cross Abstract: Visual DeepSearch tasks require multimodal large…
arXiv Artificial IntelligenceExact Symmetry as Algebra: A Machine-Verified Tensor Calculus that Enforces Physical Selection Rules
arXiv:2605.20440v2 Announce Type: replace-cross Abstract: Symmetry is central to the physical sciences, yet…
arXiv Artificial IntelligenceSkills on the Fly: Test-Time Adaptive Skill Synthesis for LLM Agents
arXiv:2605.16986v2 Announce Type: replace-cross Abstract: Additional test-time compute can give LLM agents…
arXiv Artificial IntelligenceStructured Belief State and the First Precision-Aware Benchmark for LLM Memory Retrieval
arXiv:2605.11325v4 Announce Type: replace-cross Abstract: Current LLM memory benchmarks evaluate answer…
arXiv Artificial IntelligenceCompressed Video Aggregator: Content-driven Module for Efficient Micro-Video Recommendation
arXiv:2605.08810v2 Announce Type: replace-cross Abstract: We propose \textbf{Compressed Video Aggregator}…
arXiv Artificial IntelligenceThe Alignment Target Problem: Divergent Moral Judgments of Humans, AI Systems, and Their Designers
arXiv:2604.24155v4 Announce Type: replace-cross Abstract: The project of aligning machine behavior with human…
arXiv Artificial IntelligenceBioHiCL: Hierarchical Multi-Label Contrastive Learning for Biomedical Retrieval with MeSH Labels
arXiv:2604.15591v2 Announce Type: replace-cross Abstract: Effective biomedical information retrieval requires…
arXiv Artificial IntelligenceFacial-Expression-Aware Prompting for Empathetic LLM Tutoring
arXiv:2604.15336v2 Announce Type: replace-cross Abstract: Large language models (LLMs) enable increasingly…
arXiv Artificial IntelligenceThe Fast Lane Hypothesis: Von Economo Neurons Implement a Biological Speed-Accuracy Tradeoff
arXiv:2604.09229v2 Announce Type: replace-cross Abstract: von Economo neurons (VENs) are large bipolar…
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798