TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·12h
🔨Compilers
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·3h·
Discuss: Hacker News
🔗Constraint Handling
GaloisInc/parameterized-utils
github.com·1d
🧮Algebraic Datatypes
Cactus Language • Semantics 2
inquiryintoinquiry.com·1d
🔢Denotational Semantics
Three Solutions to Nondeterminism in AI
blog.hellas.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·3h
⚡Proof Automation
LINQ and Learning to Be Declarative
nickstambaugh.dev·1h·
Discuss: Hacker News
🔗Concatenative Programming
Reviving Lost Tongues: AI-Powered Grammar for Language Preservation
dev.to·1d·
Discuss: DEV
🧮Prolog Parsing
Haskell Weekly Issue 493
haskellweekly.news·6h·
Discuss: Hacker News
🧬Functional Programming
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·19h·
Discuss: Hacker News
🔒Language-based security
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·2d
🎯Proof Tactics
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·1h·
Discuss: DEV
🗄️Database Internals
TALENT: Table VQA via Augmented Language-Enhanced Natural-text Transcription
arxiv.org·12h
🎙️Whisper
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·12h
💻Local LLMs
SAT problems are kind of cool
blog.karanjanthe.me·1d·
Discuss: Hacker News
🧮SMT Solvers
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·2d
💻Programming languages
How the Rise of Tabular Foundation Models Is Reshaping Data Science
towardsdatascience.com·3h
🧠Machine Learning
h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
arxiv.org·12h
✓Automated Theorem Proving
Less Is More: Recursive Reasoning with Tiny Networks
github.com·1d·
Discuss: Hacker News
📊Quantization
[D] Anyone using smaller, specialized models instead of massive LLMs?
reddit.com·5h·
Discuss: r/MachineLearning
💻Local LLMs