⊢ Logic - buckman · Scour

Sequent Calculi for Public Announcement Logic and Action Model Logic 🧠LLM Reasoning

philsci-archive.pitt.edu·3d

NARE – A framework that "crystallizes" LLM reasoning into fast Python scripts 🦙Ollama

github.com·21h·Hacker News

The monstrous number sequences that break the rules of mathematics ∑Math

newscientist.com·2d·Hacker News

More hexagon acl2 first-order-logic/embeddable common lisp+McCLIM graphics 💻Terminal Emulators

lispy-gopher-show.itch.io·7h

Why Preschoolers Beat College Students At This Reasoning Game (M) 📚Learning Science

spring.org.uk·2d

Proofs are Programs: A Few Examples of the Curry-Howard Correspondence 🧮Complexity Theory

adueck.github.io·5d·Hacker News, r/programming

LEAPing into the Future of Coding 🤖AI Coding Tools

blog.computationalcomplexity.org·13h·blog.computationalcomplexity.org

An Empirical Study of Methods for SFTing Opaque Reasoning Models 🛡️LLM Security

lesswrong.com·2d

Abductive Inference: Computation, Philosophy, Technology | Josephson, John R., Josephson, Susan G. | Human Vision & Language Systems 💡AI Reasoning

amazon.co.jp·4d

A reliability evaluation model for aviation relay based on extended evidential reasoning rule with dynamic correlation 🎯AI Reliability

sciencedirect.com·2d

Structured CoT: Shorter Reasoning with a Grammar File 🤖Large Language Models

andthattoo.dev·2d·r/LocalLLaMA

Really excellent work by the inference team to serve this model so efficiently! 🤖AI Inference

twitter.macworks.dev

·3d

Logic Mutations: The Bugs Your Tests Are Secretly Ignoring 💥Binary Exploitation

sdetcode.com·2d·DEV

DeepSeek-V4 on Day 0: From Fast Inference to Verified RL with SGLang and Miles ⚡Inference

lmsys.org·1d·Hacker News

#ctnet #aiarchitecture #deeplearning #machinelearning #neuralnetworks #computationaltheory #research #systems #reasoning #artificialintelligence ✨Generative AI

es.linkedin.com·4d·r/artificial

“That’s how floating point errors and triangle numbers solved a mystery.” 🛡️Defensive Coding

unsung.aresluna.org·1d·Hacker News

A three-stage logic stack to solve the Sycophancy Problem. You Hurt / I Hurt 🧠LLM Reasoning

kampff.substack.com·3d·Substack

"Thinkhaven" 🧩Mental Models

lesswrong.com·1d

'Never assume': Teaching clinical reasoning at ACP ⚖️Ethics

Checkmate! Dominate the Competition by Learning Game Theory with Wolfram Language—Wolfram Blog ♟️Game Theory

blog.wolfram.com·4d

Log in to enable infinite scrolling