Large Language Models Imitate Logical Reasoning, but at what Cost?
arxiv.org·4h
🧮Theorem Proving
Claude Can (Sometimes) Prove It
galois.com·9h·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Unlock AI Graph Reasoning: Query Your Way to Insight
dev.to·1h·
Discuss: DEV
🕸️Graph Embeddings
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·4h
⚔️Lean Tactics
System Instruction Fixed Point
funcall.blogspot.com·13h·
Discuss: www.blogger.com
⚡Proof Automation
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·15h
🔀Category Theory
Audited Reasoning Refinement: Fine-Tuning Language Models via LLM-Guided Step-Wise Evaluation and Correction
arxiv.org·4h
📝Concrete Syntax
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·2d
🔗Topological Sorting
Compiling with Continuations
swatson555.github.io·4h·
Discuss: Hacker News
💻Programming languages
[ARC-AGI-2 SoTA] Efficient Evolutionary Program Synthesis
ctpang.substack.com·3h·
Discuss: Substack
⚡Incremental Computation
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·1d·
Discuss: Hacker News
λLambda Encodings
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔧Hardware Verification
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·1d
💻Local LLMs
Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.org·4h
🔍Z3 Parsing
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Scaling AI Evaluation Through Expertise
harvey.ai·15h·
Discuss: Hacker News
🤖AI Curation
Predictive Precision: Combining Data and Reasoning for Self-Healing Systems by Arvind Sundararajan
dev.to·19h·
Discuss: DEV
💾Persistence Strategies
ZTree: A Subgroup Identification Based Decision Tree Learning Framework
arxiv.org·4h
🌳Huffman Trees
IsoSched: Preemptive Tile Cascaded Scheduling of Multi-DNN via Subgraph Isomorphism
arxiv.org·4h
📼Tape Combinators
Show HN: Semlib – Semantic Data Processing
github.com·1d·
Discuss: Hacker News
🌳Incremental Parsing