Path-LLM: A Shortest-Path-based LLM Learning for Unified Graph Representation
arxiv.org·1h
🕸️Graph Embeddings
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·16h
📝Concrete Syntax
SAT Requires Exhaustive Search
link.springer.com·9h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·4h·
Discuss: Hacker News
📊Citation Graphs
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·18h
⚗️Algebraic Coding
Extensions and Shadows (9)
sites.psu.edu·15h
✨Effect Handlers
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
The Convention Generation Experiment: Why AI Can't Build What I Hoped It Could
dev.to·13h·
Discuss: DEV
🔌Interface Evolution
CAPO: Towards Enhancing LLM Reasoning through Verifiable Generative Credit Assignment
arxiv.org·1h
⚡Proof Automation
Graph Lineages and Skeletal Graph Products
arxiv.org·1d
🔗Graph Isomorphism
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·1h
🔄Finite State Machines
LLMs - Embeddings 01
dev.to·23h·
Discuss: DEV
🧮Vector Embeddings
Who Am I in the Eye of AI?
lightcapai.medium.com·11h·
Discuss: Hacker News
🔲Cellular Automata
T-GRAG: A Dynamic GraphRAG Framework for Resolving Temporal Conflicts and Redundancy in Knowledge Retrieval
arxiv.org·1h
🔍Information Retrieval
Graph Embedding in the Graph Fractional Fourier Transform Domain
arxiv.org·1h
📊Spectral Graphs
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·1h
💻Local LLMs
The Comprehensive Guide to Knowledge Graphs
agilelab.it·3d·
Discuss: Hacker News
📊Graph Databases
Building an AI-driven course content generation system using Amazon Bedrock
aws.amazon.com·11h
⚡gRPC