R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·4h
🧭SMT Solvers
Constrained Decoding for Diffusion LLMs
constrained-diffusion.ai·21h·
Discuss: r/LocalLLaMA
🔗Parser Combinators
Is this logic sound?
reddit.com·1d·
Discuss: r/compsci
🧭SMT Solvers
Ask HN: Why is Prolog not gaining traction?
news.ycombinator.com·28m·
Discuss: Hacker News
💭Prolog
Discrete optimization for on-call scheduling (2021)
rainforestqa.com·16h·
Discuss: Lobsters, Hacker News
🎲Probabilistic Programming
An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
arxiv.org·2d
📈Complexity Theory
Pact: Head-to-head negotiation benchmark for LLMs
github.com·15h·
Discuss: Hacker News, r/LocalLLaMA
⚖Algorithmic Game Theory
Design and Implementation of an LLM-Powered Intelligent Tutoring System for Computer Science…
pub.towardsai.net·15h
🧩Theorem Proving
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com·12h·
Discuss: Hacker News
🧩Theorem Proving
Knowledge Graph-Infused Fine-Tuning for Structured Reasoning in Large Language Models
arxiv.org·1d
🔗Parser Combinators
Enhanced Ligand Design via Multi-Modal Data Fusion and Reinforcement Learning
dev.to·11h·
Discuss: DEV
⚙Functional Programming
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·1d·
Discuss: r/rust
🧠Memory Management
Efficient Constraint-Aware Flow Matching via Randomized Exploration
arxiv.org·2d
🧭SMT Solvers
How to Perform Comprehensive Large Scale LLM Validation
towardsdatascience.com·6h
✅Formal Verification
LLMs Won't Replace Programming Languages
mech-lang.org·2h·
Discuss: Hacker News
🧮Programming Language Theory
Dyna – Logic Programming for Machine Learning
dyna.org·5d·
Discuss: Lobsters, Hacker News, r/compsci
⚖️Logic Programming
Reproducing prospect theory with 'differentiable decision theories'
science.org·11h·
Discuss: Hacker News
🎲Probabilistic Programming
A Multi-Agent Reinforcement Learning (MARL) Framework for Designing an Optimal State-Specific Hybrid Maintenance Policy for a Series <em>k</em>-out-of-<em>n</em...
sciencedirect.com·2d
🎲Probabilistic Programming
Optimizing multiprecision LLL in FLINT
fredrikj.net·1d
🧭SMT Solvers
DeepThink3D: Enhancing Large Language Models with Programmatic Reasoning in Complex 3D Situated Reasoning Tasks
arxiv.org·4h
🔧Compiler Design