🔤 Morris-Pratt

String Matching, Pattern Search, Knuth-Morris-Pratt, Text Processing

Language Support for Marginalia Search
marginalia.nu·1d
🔍BitFunnel
The Mondrian introduction to functional optics
marcosh.github.io·2h·
Discuss: Hacker News
⟷Bidirectional Programming
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·8h·
Discuss: Hacker News
🔲Cellular Automata
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·7h
✓Automated Theorem Proving
TypeNet Benchmark for development of authentication keystroke technologies
github.com·2d·
Discuss: Hacker News
🗜️LZSS Variants
Latency vs. Accuracy for LLM Apps — How to Choose and How a Memory Layer Lets You Win Both
dev.to·26m·
Discuss: DEV
⚡Performance Mythology
A Solution to the Paperclip Problem
link.springer.com·9h·
Discuss: Hacker News
🔲Cellular Automata
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·7h
🔗Parser Combinators
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·7h
⚡Proof Automation
Speak, Edit, Repeat: High-Fidelity Voice Editing and Zero-Shot TTS with Cross-Attentive Mamba
arxiv.org·7h
🗣️CMU Pronouncing
GAS-MIL: Group-Aggregative Selection Multi-Instance Learning for Ensemble of Foundation Models in Digital Pathology Image Analysis
arxiv.org·7h
🧠Machine Learning
Beyond Outcome Reward: Decoupling Search and Answering Improves LLM Agents
arxiv.org·7h
⚡Proof Automation
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·7h
⚙️TLA+
P2P: A Poison-to-Poison Remedy for Reliable Backdoor Defense in LLMs
arxiv.org·7h
💻Local LLMs
A Low-Resource Speech-Driven NLP Pipeline for Sinhala Dyslexia Assistance
arxiv.org·7h
🎙️Whisper
Automating construction safety inspections using a multi-modal vision-language RAG framework
arxiv.org·7h
🤖Advanced OCR
Detecting Invariant Manifolds in ReLU-Based RNNs
arxiv.org·7h
🌀Riemannian Computing
Simulating and Understanding Deceptive Behaviors in Long-Horizon Interactions
arxiv.org·7h
✨Algebraic Effects
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·7h
💻Programming languages
COSMIR: Chain Orchestrated Structured Memory for Iterative Reasoning over Long Context
arxiv.org·7h
🌀Brotli Internals