Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·4h
💻Local LLMs
Cactus Language • Semantics 2
inquiryintoinquiry.com·18h
🔢Denotational Semantics
Efficient and accurate search in petabase-scale sequence repositories
nature.com·16h·
Discuss: Hacker News
🔄Burrows-Wheeler
Reviving Lost Tongues: AI-Powered Grammar for Language Preservation
dev.to·1d·
Discuss: DEV
🌳Context free grammars
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·1d
🎯Proof Tactics
Show HN: I built a local AI agent desk toy
blog.simone.computer·12h·
Discuss: Hacker News
🎙️Whisper
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·3d·
Discuss: Hacker News
📝Concrete Syntax
Three Solutions to Nondeterminism in AI
blog.hellas.ai·19h·
Discuss: Hacker News
🎯Performance Proofs
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·1d·
🔗Lisp
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·3d
🧮SMT Solvers
Comparing human and language models sentence processing difficulties on complex structures
arxiv.org·4h
🔗Parser Combinators
LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
arxiv.org·1d
🧮Kolmogorov Complexity
Detecting Distillation Data from Reasoning Models
arxiv.org·2d
⚙️ABNF Mining
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·4h
🔨Compilers
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·11h·
Discuss: Hacker News
🔒Language-based security
TALENT: Table VQA via Augmented Language-Enhanced Natural-text Transcription
arxiv.org·4h
🎙️Whisper
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·2d
💻Programming languages
h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
arxiv.org·4h
Automated Theorem Proving