Reasoning Models Reason Well, Until They Don't
arxiv.org·1d
🧠Computational Logic
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
✨Effect Handlers
Flag this post
Nonmonotonic Logic
🔬Logic in Computer Science
Flag this post
Freshman’s dream
johndcook.com·22h
⚔️Lean Tactics
Flag this post
Discovering Heuristics with Large Language Models (LLMs) for Mixed-Integer Programs: Single-Machine Scheduling
arxiv.org·10h
🧮SMT Solvers
Flag this post
Mapping Faithful Reasoning in Language Models
arxiv.org·1d
🎯Dependent Parsing
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·10h
💻Programming languages
Flag this post
Grounding LLMs with Symbolic Planning
⚔️Lean Tactics
Flag this post
Agentic AI and Security
💻Local LLMs
Flag this post
Modern Perfect Hashing
🧪Binary Fuzzing
Flag this post
Using Claude Skills with Neo4j
towardsdatascience.com·20h
🕸️Neo4j
Flag this post
ChessQA: Evaluating Large Language Models for Chess Understanding
arxiv.org·10h
🧠Intelligence Compression
Flag this post
How to Use Zorn's Lemma
⚔️Lean Theorem
Flag this post
HigherOrderCO/Bend2
github.com·3d
🔗Functional Compilers
Flag this post
Introducing gpt-oss-safeguard
🧠Program Logic
Flag this post
Decentralized Causal Discovery using Judo Calculus
arxiv.org·10h
⚡Effectful Programming
Flag this post
Loading...Loading more...