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

Design Principle: Composable Services
sleepingpotato.com·1d·
Discuss: Hacker News
gRPC
Experimental Proof: MENT-Flow Achieves Consistency with MENT Solutions for Beam Reconstruction
hackernoon.com·1d
🧠Learned Codecs
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·3d·
Discuss: Hacker News
🎯Interactive Provers
Finite Time Analysis of Constrained Natural Critic-Actor Algorithm with Improved Sample Complexity
arxiv.org·1d
🔲Cellular Automata
Read Between the Lines: A Benchmark for Uncovering Political Bias in Bangla News Articles
arxiv.org·1d
⚙️Compression Benchmarking
Quant-dLLM: Post-Training Extreme Low-Bit Quantization for Diffusion Large Language Models
arxiv.org·1d
💻Local LLMs
The fragility of "cultural tendencies" in LLMs
arxiv.org·3h
🧮Theoretical Computer Science
Artificial-Intelligence Grading Assistance for Handwritten Components of a Calculus Exam
arxiv.org·3h
🤖AI Paleography
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·2d
🔧Hardware Verification
Assessing Human Rights Risks in AI: A Framework for Model Evaluation
arxiv.org·3h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
AdaRD-key: Adaptive Relevance-Diversity Keyframe Sampling for Long-form Video understanding
arxiv.org·2d
🎬AV1 Encoding
On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.org·2d
🧪Hardware Fuzzing
CoPA: Hierarchical Concept Prompting and Aggregating Network for Explainable Diagnosis
arxiv.org·1d
🧠Machine Learning
MetaFind: Scene-Aware 3D Asset Retrieval for Coherent Metaverse Scene Generation
arxiv.org·1d
🏛Digital humanities
DRPO: Efficient Reasoning via Decoupled Reward Policy Optimization
arxiv.org·1d
🎯Performance Proofs
An Senegalese Legal Texts Structuration Using LLM-augmented Knowledge Graph
arxiv.org·2d
📋Document Grammar