Hallucinations Undermine Trust; Metacognition Is a Way Forward

Xmemory: Benchmarking Structured AI Memory Against RAG and Hybrid RAG

Refusal in Language Models Is Mediated by a Single Direction

Google DeepMind Paper On New AlphaProof Nexus Framework: Advancing Mathematics Research with AI-Driven Formal Proof Search

Scalable Packed Layouts for Vector-Length-Agnostic ML Code Generation

Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection

All elementary functions from a single binary operator

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets

A New Perspective on Drawing Venn Diagrams for Data Visualization

SSA without Dominance for Higher-Order Programs