#16 Pronic, oblong, rectangular numbers.... Etymology and History of Math Terms
pballew.blogspot.com·1h·
λLambda Encodings
AI as both authors and reviewers of research papers
openreview.net·1d·
Discuss: Hacker News
🔲Cellular Automata
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to·22h·
Discuss: DEV
🤖Paleographic AI
Active Confusion Expression in Large Language Models: Leveraging World Models toward Better Social Reasoning
arxiv.org·1d
🧮Prolog Parsing
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·1d
🧮Vector Embeddings
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
🌳Incremental Parsing
MMM: Quantum-Chemical Molecular Representation Learning for Combinatorial Drug Recommendation
arxiv.org·1d
🕸️Tensor Networks
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4d
Proof Automation
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.org·1d
Effect Handlers
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·18h·
Discuss: Hacker News
🎯Performance Proofs
OCaml 5.4 Release: New Features, Fixes, and More
tarides.com·1h·
Discuss: Hacker News
🔗Functional Compilers
Automated Design of Peptide-Based Drug Candidates via Constrained Generative Adversarial Networks
dev.to·1h·
Discuss: DEV
🔍Vector Forensics
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·1d
🔲Cellular Automata
The Custom Conveyor: Building Your Own Iterators
dev.to·3h·
Discuss: DEV
🔄Burrows-Wheeler
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org·2d
📊Graph Databases
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·1d·
Discuss: Hacker News
λLambda Encodings
The Porcelain to Come
stackdiver.com·9h·
Discuss: Hacker News
🔲Cellular Automata
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·12h·
Discuss: DEV
Incremental Computation
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.org·1d
Proof Automation