Variation in Verification: Understanding Verification Dynamics in Large Language Models
arxiv.org·8h
🎲Parser Fuzzing
SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
arxiv.org·8h
🔪Program Slicing
LongCat-Flash-Thinking, LLM from Meituan (China's Equivalent of Uber Eats)
github.com·4h·
Discuss: Hacker News
💬Interactive REPLs
Novel convex model-based approach for data-driven fault diagnosis considering uncertainty
sciencedirect.com·22h
📈Monotonic Logic
Spiffy: Multiplying Diffusion LLM Acceleration via Lossless Speculative Decoding
arxiv.org·8h
🗺️Region Inference
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.org·8h
🪜Recursive Descent
Learning in Stackelberg Markov Games
arxiv.org·8h
⚡Partial Evaluation
G\"odel Mirror: A Formal System For Contradiction-Driven Recursion
arxiv.org·8h
🪜Recursive Descent
Efficient Linearizability Monitoring
arxiv.org·8h
🔗Memory Linearization
Equivalence of Halting Problem to Convergence of Power Series
arxiv.org·8h
🧮Combinator Calculus
第四: A Japanese and Forth inspired postfix language
gist.github.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Languages
New C++ Conference Videos Released This Month - September 2025 (Updated To Include Videos Released 2025-09-15 - 2025-09-21)
reddit.com·21h·
Discuss: r/cpp
🎓Teaching Compilers
Pico: A Modular Framework for Hypothesis-Driven Small Language Model Research
arxiv.org·8h
🌱Tiny Languages
I Built a Compiler in Five Days with Claude AI
indiehackers.com·5h·
Discuss: Hacker News
🎭Program Synthesis
Vanishing of Schubert coefficients in probabilistic polynomial time
arxiv.org·8h
🧮Combinator Calculus
AI Evals: Why Generic Metrics Hurt Your Product
decodingml.substack.com·2h·
Discuss: Substack
📊Code Metrics
Digging Into the Internal: Causality-Based Analysis of LLM Function Calling
arxiv.org·8h
🏗️MLIR
Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
arxiv.org·8h
⚡Control Synthesis
Checking extracted rules in Neural Networks
arxiv.org·8h
⚖️Inference Rules
MobiZO: Enabling Efficient LLM Fine-Tuning at the Edge via Inference Engines
arxiv.org·8h
🗺️Region Inference