📐 Mathematical Computing

rentruewang/inversql: Create SQL that match your selection (with explainable AI), not the other way around

💡Explainable AI Code

github.com··Hacker News

Exact noise influenced soliton solutions of a high-order stochastic nonlinear Schrödinger equation with weak nonlocal nonlinearity in a non-Kerr medium

📡Information Theory Academic

nature.com·

Less-relevant results

Looking for Signs of Intelligence in Chatbots

🧠Symbolic AI

nautil.us·

Shrivastava-Aditya/boolean-algebra-engine: Deterministic boolean algebra engine — evaluates expressions, detects contradictions, audits logic rules. MCP server, NL layer, REST API, CLI, Streamlit UI.

💬Prompt Engineering Code

github.com··Hacker News, r/LLM

Compile Once, Differentiate Everywhere: A Differentiable Meta-Circular Interpreter

🔄Bootstrapping Academic

arxiv.org·

Physical intelligence

🧩Cognitive Science News Blog

mcrawford.substack.com··Substack

Partitions over permutations

🔢Algebraic Datatypes Blog

johndcook.com··Hacker News

A Data-Free Symbolic Regression Approach for Solving Equations

🔢Algebraic Datatypes Academic

arxiv.org·

mingusb/transformer-golf: The Fully Unrolled Transformer: An experimental repository for architecture simplification and compilation. [2026]

🤖AI Code

github.com··Hacker News

Data-driven discovery of governing differential equations across physical systems

🧱First Principles Academic

arxiv.org·

Symbolica 2.0: programmable symbols, JIT evaluators, and type-erased callbacks in Rust

🚂Cranelift IR

symbolica.io··Lobsters, Hacker News, r/rust

On GPU Implementation for Multi-Precision Integer Division

🗺️Region Inference Academic

arxiv.org·

A Finite Certificate for the Positive $n=9$ Vasc Inequality

🔢Algebraic Datatypes Academic

arxiv.org·

Integer points close to a transcendental curve: an algorithmic approach

🔢Algebraic Datatypes Academic

arxiv.org·

Equivariant Neural Belief Propagation

🎲Probabilistic Programming Academic

arxiv.org·

In-Context Graphical Inference

🗺️Region Inference Academic

arxiv.org·

Imbuing Large Language Models with Bidirectional Logic for Robust Chain Repair

💬Prompt Engineering Academic

arxiv.org·

Symbolica: Computer Algebra Library

Letting Homogeneity Entropy Select S-Pairs in Buchberger's Algorithm

rentruewang/inversql: Create SQL that match your selection (with explainable AI), not the other way around

Exact noise influenced soliton solutions of a high-order stochastic nonlinear Schrödinger equation with weak nonlocal nonlinearity in a non-Kerr medium

Looking for Signs of Intelligence in Chatbots

Shrivastava-Aditya/boolean-algebra-engine: Deterministic boolean algebra engine — evaluates expressions, detects contradictions, audits logic rules. MCP server, NL layer, REST API, CLI, Streamlit UI.

Compile Once, Differentiate Everywhere: A Differentiable Meta-Circular Interpreter

Physical intelligence

Partitions over permutations

A Data-Free Symbolic Regression Approach for Solving Equations

mingusb/transformer-golf: The Fully Unrolled Transformer: An experimental repository for architecture simplification and compilation. [2026]

Data-driven discovery of governing differential equations across physical systems

Symbolica 2.0: programmable symbols, JIT evaluators, and type-erased callbacks in Rust

On GPU Implementation for Multi-Precision Integer Division

A Finite Certificate for the Positive $n=9$ Vasc Inequality

Integer points close to a transcendental curve: an algorithmic approach

Equivariant Neural Belief Propagation

In-Context Graphical Inference

Imbuing Large Language Models with Bidirectional Logic for Robust Chain Repair