⊢ 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·1d·Hacker News

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

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

First Spatio-Temporal Sequence Reasoning Framework: Empowering Large Models to Truly Comprehend Spatio-Temporal Data 💡AI Reasoning

eu.36kr.com·2h

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

spring.org.uk·2d

LEAPing into the Future of Coding 🤖AI Coding Tools

blog.computationalcomplexity.org·16h·blog.computationalcomplexity.org

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

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

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

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

lmsys.org·1d·Hacker News

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

unsung.aresluna.org·1d·Hacker News

How we discovered the speed limit of arithmetic ∑Math

newscientist.com·5d·Hacker News

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

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

"Thinkhaven" 🧩Mental Models

lesswrong.com·1d

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

kampff.substack.com·3d·Substack

'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