Thinking on the Fly: Test-Time Reasoning Enhancement via Latent Thought Policy Optimization
arxiv.org·7h
💻Local LLMs
Online activities 6 – 12 October
ests.wordpress.com·2h
🏗️Constructive Mathematics
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·19h·
Discuss: Hacker News
💻Local LLMs
Cactus Language • Semantics 1
inquiryintoinquiry.com·19h
🔢Denotational Semantics
Latency vs. Accuracy for LLM Apps — How to Choose and How a Memory Layer Lets You Win Both
dev.to·23m·
Discuss: DEV
⚡Performance Mythology
iLLM-A*: Hybrid AI to speed up path planning by a factor of 1000
heise.de·4h
🧮Kolmogorov Complexity
The Mondrian introduction to functional optics
marcosh.github.io·1h·
Discuss: Hacker News
⟷Bidirectional Programming
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·7h
🔗Parser Combinators
Causal Abstractions, Categorically Unified
arxiv.org·7h
✨Effect Handlers
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·7h
💻Programming languages
How to Perform Effective Agentic Context Engineering
towardsdatascience.com·4h
⚙️Proof Engineering
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔢Denotational Semantics
Harnessing LLM for Noise-Robust Cognitive Diagnosis in Web-Based Intelligent Education Systems
arxiv.org·7h
🧠Intelligence Compression
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·7h
⚙️TLA+
Deterministic AI: Why Reliability, Not Creativity, Is the Future of LLMs
davletd.medium.com·15h·
Discuss: Hacker News
⚙️TLA+
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·7h
✓Automated Theorem Proving
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.org·7h
👑Coq Tactics
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·7h
⚡Incremental Computation
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·1d·
Discuss: Hacker News
🕸️Knowledge Graphs