🔁 Category Theory - ghosh.debasish · Scour

Oliver DeWolfe in nLab 🧠LLMs

ncatlab.org·2d

Complexity Classes Arising from Circuits over Finite Algebraic Structures 🔧SMT Solvers

Leonardo Cosmai in nLab ∑Math

ncatlab.org·2d

TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics 🧮Denotational Semantics

Hideo Suganuma in nLab 🔧SMT Solvers

ncatlab.org·2d

Ternary Memristive Logic: Hardware for Reasoning Realized via Domain Algebra 🔧SMT Solvers

TRAVELFRAUDBENCH: A Configurable Evaluation Framework for GNN Fraud Ring Detection in Travel Networks 🧠Reasoning Models

Rokhlin's theorem in nLab ∑Math

ncatlab.org·6d

L-System Genetic Encoding for Scalable Neural Network Evolution: A Comparison with Direct Matrix Encoding 🧠LLMs

Spectral Embeddings Leak Graph Topology: Theory, Benchmark, and Adaptive Reconstruction 🗄️Vector Databases

extension lemma for differential forms in nLab 🔤PLT

ncatlab.org·5d

Dieter Kotschick in nLab 🔤PLT

ncatlab.org·5d

Nobuhiro Nakamura in nLab 🔧SMT Solvers

ncatlab.org·5d

Jovana Obradović in nLab 🔤PLT

ncatlab.org·4d

Jost-Hinrich Eschenburg in nLab 🔍Abstract Interpretation

ncatlab.org·6d

Joel Smoller in nLab ∑Math

ncatlab.org·5d

Robert Bartnik in nLab ∑Math

ncatlab.org·5d

Kouichi Yasui in nLab ⚙️Tokio

ncatlab.org·5d

Tsuyoshi Kato in nLab 🧠LLMs

ncatlab.org·5d

Todd Oliynyk in nLab 🧠LLMs

ncatlab.org·5d

Sign up or log in to see more results

Log in to enable infinite scrolling