Submissions from arxiv.org

		Fast KV Compaction via Attention Matching (arxiv.org)
		21 points by cbracketdash 4 hours ago \| past \| discuss
		Prompt Repetition Improves Non-Reasoning LLMs (arxiv.org)
		1 point by beatthatflight 6 hours ago \| past \| discuss
		When Models Manipulate Manifolds: The Geometry of a Counting Task [pdf] (arxiv.org)
		1 point by vinhnx 8 hours ago \| past \| discuss
		Computer Science as Infrastructure: The Spine of the Lean CSLib (arxiv.org)
		2 points by matt_d 11 hours ago \| past \| discuss
		Towards Industrial-Scale Verification: LLM-Driven Theorem Proving on SeL4 (arxiv.org)
		1 point by lr0 11 hours ago \| past \| discuss
		Surprising Effectiveness of Masking Updates in Adaptive Optimizers (arxiv.org)
		2 points by gmays 15 hours ago \| past \| discuss
		Realization of a Synthetic Hall Torus with a Spinor Bose-Einstein Condensate (arxiv.org)
		2 points by bryanrasmussen 15 hours ago \| past \| discuss
		GLM-5: From Vibe Coding to Agentic Engineering (arxiv.org)
		1 point by gmays 15 hours ago \| past \| discuss
		Prompt Repetition Improves Non-Reasoning LLMs [pdf] (arxiv.org)
		1 point by 8ig8 1 day ago \| past \| discuss
		LongCLI-Bench: Benchmark and Study for Long-Horizon Agentic Programming in CLIs (arxiv.org)
		2 points by simonpure 1 day ago \| past \| discuss
		A Primer of Mathematical Writing (arxiv.org)
		1 point by paulpauper 1 day ago \| past \| discuss
		Can We Trust LLM Detectors? (arxiv.org)
		3 points by PaulHoule 1 day ago \| past \| discuss
		Persona: Controlling LLM Personality with Vector Algebra (arxiv.org)
		3 points by mldev_exe 1 day ago \| past \| discuss
		GR3EN: Generative Relighting for 3D Environments (arxiv.org)
		2 points by PaulHoule 1 day ago \| past \| discuss
		WebWorld: A Large-Scale World Model for Web Agent Training (arxiv.org)
		2 points by gmays 1 day ago \| past \| discuss
		CMind: An AI Agent for Localizing C Memory Bugs (arxiv.org)
		2 points by PaulHoule 1 day ago \| past \| discuss
		A benchmark for vericoding: formally verified program synthesis (arxiv.org)
		3 points by luskira 1 day ago \| past \| discuss
		Computing Diffusion Geometry (arxiv.org)
		3 points by aanet 1 day ago \| past \| 1 comment
		Constructing Unlearnable Data with Solely Linear Classifiers (arxiv.org)
		2 points by PaulHoule 1 day ago \| past \| discuss
		Experiential Reinforcement Learning (arxiv.org)
		3 points by geophile 1 day ago \| past \| discuss
		Identity, Cooperation and Framing Within Groups of Real and Simulated Humans (arxiv.org)
		2 points by PaulHoule 1 day ago \| past \| discuss
		Investigating the Downstream Effect of AI Assistants on Software Maintainability (arxiv.org)
		2 points by KallDrexx 1 day ago \| past \| 2 comments
		A New Perspective on Drawing Venn Diagrams for Data Visualization (arxiv.org)
		2 points by IdealeZahlen 1 day ago \| past \| discuss
		Language Models Entangle Language and Culture (arxiv.org)
		1 point by paraschopra 1 day ago \| past \| discuss
		Does Socialization Emerge in AI Agent Society? A Case Study of Moltbook (arxiv.org)
		1 point by simonpure 1 day ago \| past \| 1 comment
		Biases in the Blind Spot: Detecting What LLMs Fail to Mention (arxiv.org)
		2 points by azalemeth 2 days ago \| past \| discuss
		Prompt Repetition Improves Non Reasoning LLM (arxiv.org)
		2 points by jdthedisciple 2 days ago \| past \| discuss
		GLM-5 Technical Report (arxiv.org)
		11 points by meetpateltech 2 days ago \| past \| discuss
		Training-Free Group Relative Policy Optimization (arxiv.org)
		1 point by readitalready 2 days ago \| past \| discuss
		Composition-RL: Compose Verifiable Prompts for Reinforcement Learning of LLMs (arxiv.org)
		3 points by gmays 2 days ago \| past \| discuss
		More