Visual Representations inside the Language Model
arxiv.org·3h
🧮Vector Embeddings
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
📝Concrete Syntax
Cactus Language • Semantics 1
inquiryintoinquiry.com·15h
🔢Denotational Semantics
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Culture, Language, and Generative Language Models
cacm.acm.org·18h
🤖Grammar Induction
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·3h
💻Programming languages
Embedding Lua in Nim
lambdacreate.com·19h
🦀Rust Macros
Detecting Distillation Data from Reasoning Models
arxiv.org·3h
⚙️ABNF Mining
PoLi-RL: A Point-to-List Reinforcement Learning Framework for Conditional Semantic Textual Similarity
arxiv.org·3h
🗂️Vector Search
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·1d
🧮SMT Solvers
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·3h
💻Programming languages
Towards a Typology of LLM Chains-of-Thought
1a3orn.com·13h·
Discuss: Hacker News
🌳Context free grammars
Day 24 of My 90 Days Python Series – Word Counter Tool
dev.to·21h·
Discuss: DEV
📝Concrete Syntax
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·3h
⚡Proof Automation
LaDiR: Latent Diffusion Enhances LLMs for Text Reasoning
arxiv.org·3h
💻Local LLMs
Lazy text capitalization with low latency large language models
blog.florianschulz.info·2d·
Discuss: Hacker News
🌀Brotli Internals
GRACE: Generative Representation Learning via Contrastive Policy Optimization
arxiv.org·3h
📊HyperLogLog
Efficient Test-Time Scaling for Small Vision-Language Models
arxiv.org·3h
🗜️LZW Variants
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·11h·
Discuss: DEV
⚡SMT Applications
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·3h
🔗Parser Combinators