Coping with Complexity
slott56.github.ioยท6d
๐Ÿ”—Concatenative Programming
DEVONthink 4.0 Copernicus
devontechnologies.comยท1dยท
Discuss: Hacker News
๐Ÿ•ธ๏ธKnowledge Graphs
Greedy Is Good. Less Greedy May Be Better
gojiberries.ioยท2dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.orgยท2d
๐Ÿ”Concolic Testing
TITAN: Query-Token based Domain Adaptive Adversarial Learning
arxiv.orgยท8h
๐Ÿ“ŠLearned Metrics
Recall and Refine: A Simple but Effective Source-free Open-set Domain Adaptation Framework
arxiv.orgยท8h
๐Ÿ’ปLocal LLMs
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.orgยท2d
๐Ÿ“Compression Bounds
PATCH! {P}sychometrics-{A}ssis{T}ed Ben{CH}marking of Large Language Models against Human Populations: A Case Study of Proficiency in 8th Grade Mathematics
arxiv.orgยท2d
๐Ÿง Intelligence Compression
Flame Graph Performance Truth Analysis๏ผˆ1750839255230100๏ผ‰
dev.toยท2dยท
Discuss: DEV
โšกPerformance Tools
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.orgยท1d
๐Ÿ“ƒManuscript Tokenization
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.orgยท1d
๐Ÿ“Linear Logic
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.orgยท1d
๐Ÿ”—Parser Combinators
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.comยท1d
๐Ÿ’ปLocal LLMs
Leveraging LLM-Assisted Query Understanding for Live Retrieval-Augmented Generation
arxiv.orgยท8h
๐Ÿ”Information Retrieval
Counting with Categories (Part 2)
golem.ph.utexas.eduยท3d
๐Ÿ”€Category Theory
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.toยท17hยท
Discuss: DEV
๐ŸŒŠStreaming Compression
Scalable Machine Learning Algorithms using Path Signatures
arxiv.orgยท3d
๐Ÿง Machine Learning
Individual Causal Inference with Structural Causal Model
arxiv.orgยท3d
๐Ÿง Machine Learning
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.orgยท3d
๐Ÿ‘‘Coq Tactics
Counting with Categories (Part 1)
golem.ph.utexas.eduยท4d
ฮปLambda Formalization