Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท1d
๐Ÿ’ŽInformation Crystallography
OCaml 5.4 Release: New Features, Fixes, and More
tarides.comยท6hยท
๐Ÿ”—Functional Compilers
Paper2Agent: Research Papers as Interactive AI Agents
huggingface.coยท21hยท
Discuss: Hacker News
๐Ÿค–AI Curation
TaoSR-AGRL: Adaptive Guided Reinforcement Learning Framework for E-commerce Search Relevance
arxiv.orgยท1d
๐Ÿ‘คSearch Personalization
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท2dยท
Discuss: Hacker News
ฮปLambda Encodings
The Porcelain to Come
stackdiver.comยท14hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.toยท17hยท
Discuss: DEV
โšกIncremental Computation
A Proof of the Riemann Hypothesis
dev.toยท2dยท
Discuss: DEV
โš”๏ธLean Theorem
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.orgยท1d
โšกProof Automation
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.orgยท1d
๐ŸงฎKolmogorov Complexity
Mitigating Judgment Preference Bias in Large Language Models through Group-Based Polling
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Less Is More: Recursive Reasoning with Tiny Networks
github.comยท2dยท
Discuss: Hacker News
๐Ÿ“ŠQuantization
English - the hottest programming language of the future
dev.toยท19hยท
Discuss: DEV
๐Ÿ”„Language Evolution
There will soon be AI agents working on our behalf
blog.cip.orgยท13hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.toยท8hยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
The Trillion Dollar AI Software Development Stack
a16z.comยท15hยท
Discuss: Hacker News
โšกProof Automation
CoMAS: Co-Evolving Multi-Agent Systems via Interaction Rewards
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.orgยท3d
๐ŸŽฏPerformance Proofs
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.orgยท1d
๐Ÿ’ปProgramming languages