Submissions from arxiv.org

		Ontology-Guided LLMs: Grounding Inference with OpenMath Knowledge (arxiv.org)
		1 point by rkovashikawa 3 days ago \| past \| discuss
		RustyDL: A Program Logic for Rust (arxiv.org)
		3 points by bsrkf 3 days ago \| past \| discuss
		AI buying agents concentrate demand on 2-3 products and ignore the rest (arxiv.org)
		2 points by dmpyatyi 3 days ago \| past \| 1 comment
		Thermal Imaging for Cardiorespiratory and Sudomotor Response Monitoring (arxiv.org)
		1 point by PaulHoule 3 days ago \| past \| discuss
		Randomness Becomes an Attack Vector in Machine Learning (arxiv.org)
		1 point by PaulHoule 3 days ago \| past \| discuss
		DeepSeek Paper – DualPath: Breaking the Bandwidth Bottleneck in LLM Inference (arxiv.org)
		2 points by dworks 3 days ago \| past \| 1 comment
		A Computational Perspective on NeuroAI and Synthetic Biological Intelligence (arxiv.org)
		1 point by andsoitis 3 days ago \| past \| discuss
		Discovering Multiagent Learning Algorithms with Large Language Models (arxiv.org)
		2 points by gmays 4 days ago \| past \| discuss
		Can Chain-of-Thought Reasoning Solve Any Computable Task? (arxiv.org)
		4 points by ryancoleman 4 days ago \| past \| 1 comment
		Game theory meets lattice gases and spin-glasses: Zero-player Entropy Game (arxiv.org)
		3 points by northlondoner 4 days ago \| past \| 1 comment
		Hexagon-MLIR: An AI Compilation Stack for Qualcomm's NPUs (arxiv.org)
		3 points by matt_d 4 days ago \| past \| 1 comment
		The Appeal and Reality of Recycling LoRAs with Adaptive Merging (arxiv.org)
		14 points by PaulHoule 4 days ago \| past \| 1 comment
		Some Simple Economics of AGI (arxiv.org)
		4 points by alpaylan 4 days ago \| past \| discuss
		Aletheia Tackles FirstProof Autonomously (arxiv.org)
		5 points by in-silico 4 days ago \| past \| discuss
		Analyzing Latency Hiding and Parallelism in an MLIR-Based AI Kernel Compiler (arxiv.org)
		1 point by matt_d 4 days ago \| past \| discuss
		Deep Learning: Our Year 1990-1991 (arxiv.org)
		1 point by tosh 4 days ago \| past \| discuss
		Large-scale online deanonymization with LLMs (arxiv.org)
		73 points by mellosouls 4 days ago \| past \| 2 comments
		Frontier Models Exhibit Sophisticated Reasoning in Simulated Nuclear Crises (arxiv.org)
		5 points by consumer451 4 days ago \| past \| discuss
		Large Language Diffusion Models (arxiv.org)
		2 points by andsoitis 4 days ago \| past \| discuss
		Discovering Multiagent Learning Algorithms with Large Language Models (arxiv.org)
		2 points by energy123 4 days ago \| past \| discuss
		Current Large Audio Language Models largely transcribe rather than listen (arxiv.org)
		4 points by earcar 4 days ago \| past \| discuss
		Super-Diffusion of Ergodicity (arxiv.org)
		2 points by northlondoner 4 days ago \| past \| 1 comment
		Large-Scale Study of GitHub Pull Requests: How AI Coding Agents Modify Code (arxiv.org)
		2 points by nkko 4 days ago \| past \| discuss
		Security Risks of AI Agents Hiring Humans: An Empirical Marketplace Study (arxiv.org)
		1 point by runningmike 4 days ago \| past \| 1 comment
		Agents of Chaos (arxiv.org)
		3 points by nextos 4 days ago \| past \| discuss
		Turing Completeness of GNU find (arxiv.org)
		137 points by todsacerdoti 4 days ago \| past \| 26 comments
		AST-Guided Translation of Natural Language into First-Order Logic with LLMs (arxiv.org)
		2 points by PaulHoule 5 days ago \| past \| discuss
		How Ten Publishers Retract Research (arxiv.org)
		1 point by bikenaga 5 days ago \| past \| 1 comment
		Agents of Chaos (arxiv.org)
		3 points by wslh 5 days ago \| past \| discuss
		PersonaLive Expressive Portrait Image Animation for Live Streaming (arxiv.org)
		2 points by tamnd 5 days ago \| past \| discuss
		More