🔣 Model Theory - Handler4605 · Scour

Continuations and Completeness in Proof-theoretic Semantics λType Theory

Open Data Structures 🌳B+ Trees

Quantum-Merlin-Arthur Problems Have Perfect Completeness with an Infinite Counter 🧮SMT Solvers

link.aps.org·1d

raulcd/datanomy: Dissecting data structures 🌳B+ Trees

The Completeness Trap 🔄Eventual Consistency

amycmitchell.substack.com·2d·Substack

Topology-induced structure and local-to-global symmetry 🔵Topology

philsci-archive.pitt.edu·2d

MatterChat: A multimodal large language model for materials science 📇Vector Indexing

Matrix-Decoupled Concentration for Autoregressive Sequences: Dimension-Free Guarantees for Sparse Long-Context Rewards 🤖Machine Learning

$${\bf{Micro}}{{\mathbb{S}}}{\bf{plit}}$$ : semantic unmixing of fluorescent microscopy data 🌫️Noise Functions

nature.com·1d·Hacker News

Systematic Extraction of Exact Yang-Mills Solutions via Algebraic Tensor Ring Decomposition 🔣Category Theory

Discrete Elastic Ribbons: A Unified Discrete Differential Geometry Framework for One-Dimensional Energy Models ✨Shader Programming

Operator-Guided Invariance Learning for Continuous Reinforcement Learning 🤖Machine Learning

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers 🧮SMT Solvers

Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes 🧮SMT Solvers

A formulation of D-institution using functor categories 🔣Category Theory

ASP-Completeness of Hamiltonicity in Grid Graphs, with Applications to Loop Puzzles 🕸️Graph Theory

Induction rules for Transition Algebra 📐Lean

Higher categories of bordisms with geometric structures 🔣Category Theory

How Language Models Process Out-of-Distribution Inputs: A Two-Pathway Framework 🔍Information Retrieval

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version 🧮Constraint Solvers

Log in to enable infinite scrolling